Journal: Computer Communications

Volume 25, Issue 9

835 -- 845Ihor Kuz, Maarten van Steen, Henk J. Sips. The globe infrastructure directory service
846 -- 862Dario Di Sorte, Gianluca Reali. Resource allocation rules for providing performance guarantees to traffic aggregates in a DiffServ environment
863 -- 873Liren Zhang, Li Zheng, Koh Soo Ngee. Effect of delay and delay jitter on voice/video over IP
874 -- 883Fengyuan Ren, Yong Ren, Xiuming Shan. Design of a fuzzy controller for active queue management
884 -- 889Huey-Ing Liu, Chun-Te Wu. Virtual private dial-up services over multi-protocol label switching networks
890 -- 904Wushao Wen, S.-H. Gary Chan, Biswanath Mukherjee. Token-tray/weighted queuing-time (TT/WQT): an adaptive batching policy for near video-on-demand system
905 -- 913Miao Ma, Erry Gunawan. Performance analysis for voice/data integration on a CDMA-based wireless system

Volume 25, Issue 8

731 -- 740Wai-Chung Poon, Kwok-Tung Lo. The transportation of VBR-encoded video using deterministic characterization and bandwidth renegotiation
741 -- 755Sonia Fahmy, Raj Jain, Rohit Goyal, Bobby Vandalore. Fair flow control for ATM-ABR multipoint connections
756 -- 771James Aweya, Michel Ouellette, Delfin Y. Montuno. Multi-level active queue management with dynamic thresholds
772 -- 801Y. B. Duan, Changyun Wen, Boon-Hee Soong. Design of a new globally stable explicit rate controller for ABR service with saturation
802 -- 811Fernando A. Kuipers, Piet Van Mieghem. MAMCRA: a constrained-based multicast routing algorithm
812 -- 824Sheng Uei Guan, Sok-Seng Lim. Modeling with enhanced prioritized Petri nets: EP-nets
825 -- 833Pi-Rong Sheu, Shan-Tai Chen. A fast and efficient heuristic algorithm for the delay- and delay variation-bounded multicast tree problem

Volume 25, Issue 7

635 -- 646Doo Seop Eom, HeyungSub Lee, Masashi Sugano, Masayuki Murata, Hideo Miyahara. Improving TCP handoff performance in Mobile IP based networks
647 -- 651Shaowen Song. A scalable parallel internet router that enables the QoS through merging ATM with IPv6
652 -- 661Jin-Long Wang. Threshold-based congestion control scheme for ABR services in ATM networks
662 -- 675Malamati D. Louta, Panagiotis Demestichas, Evangelia Tzifa, Evangelos Loutas, Miltiades E. Anagnostou. Retailer selection in future open competitive communications environments
676 -- 688Yu-Chee Tseng, Chih-Min Chao, Shih-Lin Wu, Jang-Ping Sheu. Dynamic channel allocation with location awareness for multi-hop mobile ad hoc networks
689 -- 699Yue Ma, James J. Han, Kishor S. Trivedi. Call admission control for reducing dropped calls in CDMA cellular systems
700 -- 713Shun-Ping Chung, Jin-Chang Lee. Mobility-dependent call admission control in hierarchical cellular networks
714 -- 729Chen-Khong Tham, Jianning Mai, Lawrence W. C. Wong. A QoS-based routing algorithm for PNNI ATM networks

Volume 25, Issue 6

545 -- 546Kenneth J. Christensen, Marcel Waldvogel. Special issue: issues and trends in terabit switching
547 -- 556Amit Singhal, Raj Jain. Terabit switching: a survey of techniques and current products
557 -- 576Ti-Shiang Wang. Architectural evolution and principles of optical terabit packet switches (OTPS)
577 -- 589Jin Soo Park, H. Jonathan Chao. Design and analysis of enhanced Abacus switch
590 -- 610D. Manjunath, Biplab Sikdar. Input queued switches for variable length packets: analysis for Poisson and self-similar traffic
611 -- 622Cheng-Shang Chang, Duan-Shin Lee, Yi-Shean Jou. Load balanced Birkhoff-von Neumann switches, part I: one-stage buffering
623 -- 634Cheng-Shang Chang, Duan-Shin Lee, Ching-Ming Lien. Load balanced Birkhoff-von Neumann switches, part II: multi-stage buffering

Volume 25, Issue 5

437 -- 444Kenichi Shimamura, Katsuya Tanaka, Makoto Takizawa. Causally ordered delivery of multimedia objects
445 -- 463G. I. Mousadis, Theodore A. Tsiligirides. A simple ER identification with congestion avoidance (SERICA) algorithm to support some TCP differentiated services over the ABR traffic
464 -- 477Samuel Pierre, Fabien Houéto. A tabu search approach for assigning cells to switches in cellular mobile networks
478 -- 484Ming-Hong Jiang, Rong-Hong Jan, Chu-Fu Wang. An efficient multiple-path routing protocol for ad hoc networks
485 -- 500N. Sreenath, P. Phanibhushan Rao, G. Mohan, C. Siva Ram Murthy. Design of survivable WDM networks for carrying ATM traffic
501 -- 506Luying Zhou, Pat S. Y. Chan, R. Radhakrishna Pillai. Effect of TCP/LLC protocol interaction in GPRS networks
507 -- 515Wei Li, Kia Makki, Niki Pissinou. Performance analysis of a PCS network with state dependent calls arrival processes and impatient calls
516 -- 521Li Chunlin, Zhengding Lu, Li Layuan. Design and implementation of a distributed computing environment model for object-oriented networks programming
522 -- 533Jahangir H. Sarker, Seppo J. Halme. Single channel occupied voice and multi-channel occupied HSCSD over GSM
534 -- 543Ben-Jye Chang, Hsien-Kang Chung, Ren-Hung Hwang. Adaptive crankback schemes for hierarchical QoS routing in ATM networks

Volume 25, Issue 4

345 -- 356Ronald P. Doyle, Jeffrey S. Chase, Syam Gadde, Amin Vahdat. The Trickle-Down Effect: Web Caching and Server Request Distribution
357 -- 366Terence Kelly. Thin-client Web access patterns: Measurements from a cache-busting proxy
367 -- 375Arun Venkataramani, Praveen Yalagandula, Ravi Kokku, Sadia Sharif, Michael Dahlin. The potential costs and benefits of long-term prefetching for content distribution
376 -- 383Jussi Kangasharju, James W. Roberts, Keith W. Ross. Object replication strategies in content distribution networks
384 -- 392Pavlin Radoslavov, Ramesh Govindan, Deborah Estrin. Topology-informed Internet replica placement
393 -- 402Alexandros Biliris, Charles D. Cranor, Fred Douglis, Michael Rabinovich, Sandeep Sibal, Oliver Spatscheck, Walter Sturm. CDN brokering
403 -- 412Stanislav Rost, John W. Byers, Azer Bestavros. The Cyclone Server Architecture: streamlining delivery of popular content
413 -- 423Olivier Verscheure, Chitra Venkatramani, Pascal Frossard, Lisa Amini. Joint server scheduling and proxy caching for video delivery
424 -- 435Sung-Ju Lee, Wei-Ying Ma, Bo Shen. An interactive video delivery and caching system using video summarization

Volume 25, Issue 3

183 -- 188Hyokyung Bahn, Hyunsook Lee, Sam H. Noh, Sang Lyul Min, Kern Koh. Replica-aware caching for Web proxies
189 -- 197Guillermo Rodriguez, Pedro Merino, María-del-Mar Gallardo. An extension of the ns simulator for active network research
198 -- 209Mon-Yen Luo, Chu-Sing Yang. Enabling fault resilience for web services
210 -- 224Ahmed M. Safwat, Hossam S. Hassanein. Infrastructure-based routing in wireless mobile ad hoc networks
225 -- 238Turgay Korkmaz, Marwan Krunz, Spyros Tragoudas. An efficient algorithm for finding a path subject to two additive constraints
239 -- 253Srinivas Rajagopal, Martin Reisslein, Keith W. Ross. Packet multiplexers with adversarial regulated traffic
254 -- 264Daniel Won-Kyu Hong, Choong Seon Hong. The CORBA-based unified event management framework in multi-layer networks
265 -- 287José R. Vidal, Luis Guijarro. A methodology for developing simulation models of ATM networks in SDL language
288 -- 302Abderrahim Benslimane, Abdelhafid Abouaissa. Dynamical grouping model for distributed real time causal ordering
303 -- 312Pi-Chung Wang, Chia-Tai Chan, Yaw-Chung Chen. High-performance IP routing table lookup
313 -- 321Eustathia Ziouva, Theodore Antonakopoulos. CSMA/CA performance under high traffic conditions: throughput and delay analysis
322 -- 328Xiaoning He, Hao Che. TCP performance analysis and optimization over DMT based ADSL system
329 -- 340Jorge Escorcia, Dipak Ghosal, Dilip Sarkar. A novel cache distribution heuristic algorithm for a mesh of caches and its performance evaluation
341 -- 0Christian Maihöfer. High-Performance Communication Networks
342 -- 0Christian Maihöfer. Multicast Communication
343 -- 0Debashis Saha. Book Review: Handbook of Mobile Radio Networks by Sami Tabbane; Artech House, 2000, ISBN 1-58053-009-5

Volume 25, Issue 2

119 -- 120Han Zuidweg. Software architectures for telecommunications networks
121 -- 132Ahmed Patel. Current status and future directions of software architectures for telecommunications
133 -- 148Sebastiano Trigila, Ferdinando Lucidi, Kimmo E. E. Raatikainen. A service architecture for fixed and mobile convergence
149 -- 168Filip Vandermeulen, Brecht Vermeulen, Piet Demeester, Frank Steegmans, Steven Vermeulen. A generic architecture for management and control of end-to-end quality of service over multiple domains
169 -- 182Dionisis X. Adamopoulos, George Pavlou, Constantine A. Papandreou. Continuous media support in the distributed component object model

Volume 25, Issue 18

1699 -- 1710Liang Cheng, Ivan Marsic. Accurate bandwidth measurement in xDSL service networks
1711 -- 1718Haïdar Safa, Samuel Pierre, Jean Conan. Evaluating location management schemes for third generation mobile networks
1719 -- 1726Jahangir H. Sarker, Mahbub Hassan, Seppo J. Halme. Power level selection schemes to improve throughput and stability of slotted ALOHA under heavy load
1727 -- 1735Hwa-Chuan Lin, Sing-Ling Lee. A Track-Presetting strategy in PCS using hierarchical location databases
1736 -- 1750James Aweya, Michel Ouellette, Delfin Y. Montuno. A linear system analysis of RED
1751 -- 1764Hatem Bettahar, Abdelmadjid Bouabdallah. A new approach for delay-constrained routing
1765 -- 1773Yuan-Cheng Lai, Chang-Li Yao. Performance comparison between TCP Reno and TCP Vegas
1774 -- 1781Ying-Dar Jason Lin, Nai-Bin Hsu, Ren-Hung Hwang. RPIM-SM: extending PIM-SM for RP relocation
1782 -- 1798Laurent Mathy, David Hutchison, Stefan Schmid, Steven Simpson. A performance study of RSVP with proposed extensions
1799 -- 1810Wanquan Liu, Thanh Huu Tran, Harsha Sirisena. A new state space control scheme for Host-Gate Way Rate Control Protocol within intranets using ATM ABR service
1811 -- 1812Rita Puzmanova. Book Review: MPLS (Implementing the technology) by Eric W. Gray (Ed.); Addison-Wesley, Reading, MA, 2001, 191 pages, ISBN 0-201-65762-7

Volume 25, Issue 17

1487 -- 1496Chen-Khong Tham, Qi Yao, Yuming Jiang. A multi-class probabilistic priority scheduling discipline for differentiated services networks
1497 -- 1512Ilias Iliadis, Paolo Scotton, Daniel Bauer. Dynamic transition matrix generation for topology aggregation
1513 -- 1526Khaled M. F. Elsayed, Amr Saad Ayad, Mahmoud T. El-Hadidi. Performance evaluation of resource reservation and call admission policies for deterministic services in PGPS-based packet networks
1527 -- 1535Chuanhe Huang, Xiaohua Jia, Yongbing Zhang. A distributed routing and wavelength assignment algorithm for real-time multicast in WDM networks
1536 -- 1547Der-Rong Din, Shian-Shyong Tseng. A genetic algorithm for solving dual-homing cell assignment problem of the two-level wireless ATM network
1548 -- 1563Vassilios M. Stathopoulos, Iakovos S. Venieris. ICALB: an integrated congestion avoidance and load balancing algorithm for distributed intelligent networks. Part I: description of ICALB
1564 -- 1574Vassilios M. Stathopoulos, Iakovos S. Venieris. ICALB: an integrated congestion avoidance and load balancing algorithm for distributed intelligent networks. Part II: Performance evaluation of ICALB
1575 -- 1583Rujipun Assarut, Milda G. Husada, Ushio Yamamoto, Yoshikuni Onozato. Data rate improvement with dynamic reassignment of spreading codes for DS-CDMA
1584 -- 1595Fotios K. Liotopoulos. Split-connection rearrangeably nonblocking operation of three-stage multirate Clos networks
1596 -- 1605Fugui Wang, Prasant Mohapatra, Sarit Mukherjee, Dennis Bushmitch. An efficient bandwidth management scheme for real-time Internet applications
1606 -- 1621Steve Kremer, Olivier Markowitch, Jianying Zhou. An intensive survey of fair non-repudiation protocols
1622 -- 1630Chin Ching Chiu, Yi-Shiung Yeh, Jue-Sam Chou. A fast algorithm for reliability-oriented task assignment in a distributed system
1631 -- 1639Lee Man Kei, Xiaohua Jia. A reliable asynchronous RPC architecture for wireless networks
1640 -- 1652Su-Wei Tan, Sze-Wei Lee, Benoit Vaillaint. Non-greedy minimum interference routing algorithm for bandwidth-guaranteed flows
1653 -- 1664Shun-Ping Chung, Chin-Lien Chiu. Joint call admission control/congestion control for wireless integrated voice/data networks
1665 -- 1672Joonhwan Kim, Donghwan Lee, Saewoong Bahk. Performance analysis of alternate routing with trunk reservation in multirate switched networks
1673 -- 1683Sriram Raghavan, G. Manimaran, C. Siva Ram Murthy. A note on dependable real-time communication in multihop networks
1684 -- 1695Yuh-Shyan Chen, Tzung-Shi Chen, Ching-Jang Huang. SOM: spiral-fat-tree-based on-demand multicast protocol in a wireless ad-hoc network
1696 -- 1697Rita Puzmanova. Book Review: Ethernet: The Definitive Guide by Charles E. Spurgeon; O Reilly, 2000, 496 pages, ISBN 1-56592-660-9
1698 -- 0Zhong Fan. Book Review: Fundamentals of Network Security by J. Canavan; Artech House, ISBN 1-58053-176-8

Volume 25, Issue 16

1413 -- 1414Christos Douligeris, Andreas Pitsillides, Daniela Panno. Computational intelligence in telecommunications networks
1415 -- 1428Marios P. Saltouros, Anastasios K. Taskaris, Panagiotis Demestichas, Michael E. Theologou, Athanasios V. Vasilakos. Network resource brokerage by means of distributed agent-based systems encompassing reinforcement learning schemes
1429 -- 1442Leonard Barolli, Akio Koyama, Takako Yamada, Shoichi Yokoyama, Takuo Suganuma, Norio Shiratori. An intelligent routing and CAC framework for large-scale networks based on cooperative agents
1443 -- 1453Andreas Pitsillides, George Stylianou, Constantinos S. Pattichis, Y. Ahmet Sekercioglu, Athanasios V. Vasilakos. Aggregated bandwidth allocation: investigation of performance of classical constrained and genetic algorithm based optimisation techniques
1454 -- 1464Edward Mutafungwa. GORA: an algorithm for designing optical cross-connect nodes with improved dependability
1465 -- 1476Stamatis Karnouskos. Realization of a secure active and programmable network infrastructure via mobile agent technology
1477 -- 1486Xiao Zhi Gao, Seppo J. Ovaska, Athanasios V. Vasilakos. Temporal difference method-based multi-step ahead prediction of long term deep fading in mobile networks

Volume 25, Issue 15

1355 -- 0Ray Hunt. Special issue on Intrusion Detection systems
1356 -- 1365Theuns Verwoerd, Ray Hunt. Intrusion detection techniques and approaches
1366 -- 1373Sanjay K. Jha, Mahbub Hassan. Building agents for rule-based intrusion detection system
1374 -- 1391Peng Ning, Sushil Jajodia, Xiaoyang Sean Wang. Design and implementation of a decentralized prototype system for detecting distributed attacks
1392 -- 1401Wayne A. Jansen. Intrusion detection with mobile agents
1402 -- 1412Theuns Verwoerd, Ray Hunt. Security architecture testing using IDS - a case study

Volume 25, Issue 14

1257 -- 1262Ye Tung, Hao Che. A flow caching mechanism for fast packet forwarding
1263 -- 1272Weiping Zhu. A hybrid handover scheme for integrated networks
1273 -- 1282Stefano Chessa, Paolo Santi. Crash faults identification in wireless sensor networks
1283 -- 1296Jae Uck You, Min Young Chung, Dan Keun Sung. Performance evaluation using an approximation method for sojourn time distributions in an IN/ISDN signaling platform
1297 -- 1304Dechanuchit Katanyutaveetip. Real-time optimal multicast routing
1305 -- 1314Satish Damodaran, Krishna M. Sivalingam. Scheduling algorithms for multiple channel wireless local area networks
1315 -- 1322Salil S. Kanhere, Harish Sethu. Low-latency guaranteed-rate scheduling using Elastic Round Robin
1323 -- 1332Tsang-Ling Sheu, Lien-Wen Wu. A performance prediction model for FECN rate-based flow control in ATM networks: a case study
1333 -- 1342Kuo-Jen Lin, Yu-Chee Tseng, Jang-Ping Sheu. Channel-sharing strategies in two-tier cellular PCS systems
1343 -- 1353Haïdar Safa, Samuel Pierre, Jean Conan. A built-in memory model for reducing location update cost in mobile wireless networks

Volume 25, Issue 13

1153 -- 1161Yang Xiao, C. L. Philip Chen, Bin Wang. Bandwidth degradation QoS provisioning for adaptive multimedia in wireless/mobile networks
1162 -- 1171Hee Yong Youn, Hee-Suk Kim, Hyunseung Choo, Sajal K. Das. Rerouting for handoff based on the distance in wireless ATM networks
1172 -- 1184Guoqiang Mao, Daryoush Habibi. A cell loss upper bound for heterogeneous ON-OFF sources with application to connection admission control
1185 -- 1194Yong Xu, Shen-Chu Xu, Bo-Xi Wu. Traffic grooming in unidirectional WDM ring networks using genetic algorithms
1195 -- 1213Günther Stattenberger, Torsten Braun, Matthias Scheidegger, Marcus Brunner, Heinrich J. Stüttgen. Performance evaluation of a Linux DiffServ implementation
1214 -- 1229Kuo-Chi Chu, Yi-Gang Tai, Wei-Tsong Lee, Pau-Choo Chung. A novel mechanism for providing service differentiation over CATV network
1230 -- 1242Yeali S. Sun, Fu-Ming Tsou, Meng Chang Chen. Predictive flow control for TCP-friendly end-to-end real-time video on the Internet
1243 -- 1254Yuming Jiang, Chen-Khong Tham, Chi Chung Ko. A probabilistic priority scheduling discipline for multi-service networks
1255 -- 0Kostas Pentikousis. Erratum to Book review: Wireless and Mobile Network Architectures : [Comput. Commun. 25(2002) 991-992]

Volume 25, Issue 11-12

993 -- 996Mohammad S. Obaidat. Advances in performance evaluation of computer and telecommunications networking
997 -- 1008Mohammad S. Obaidat, Z. H. Al-Awwami, M. Al-Mulhem. A new injection limitation mechanism for wormhole networks
1009 -- 1017Gregorio Procissi, Anurag Garg, Mario Gerla, M. Y. Sanadidi. Token bucket characterization of long-range dependent traffic
1018 -- 1027Christian Maihöfer, Kurt Rothermel. Optimal branching factor for tree-based reliable multicast protocols
1028 -- 1036Krzysztof Malinowski. Optimization network flow control and price coordination with feedback: proposal of a new distributed algorithm
1037 -- 1046Raffaele Bolla, Nedo Celandroni, Franco Davoli, Erina Ferro, Mario Marchese. Bandwidth allocation in a multiservice satellite network based on long-term weather forecast scenarios
1047 -- 1057Jens Schmitt, Oliver Heckmann, Martin Karsten, Ralf Steinmetz. Decoupling different time scales of network QoS systems
1058 -- 1065Petros Nicopolitidis, Georgios I. Papadimitriou, Mohammad S. Obaidat, Andreas S. Pomportsis. TRAP: a high performance protocol for wireless local area networks
1066 -- 1075Sami J. Habib, Alice C. Parker, Daniel C. Lee. Automated design of hierarchical intranets
1076 -- 1084Balázs Szviatovszki, Áron Szentesi, Alpár Jüttner. Minimizing re-routing in MPLS networks with preemption-aware constraint-based routing
1085 -- 1093Ryan W. Thomas, Richard A. Raines, Rusty O. Baldwin, Michael A. Temple. Performance analysis of multicast algorithms for mobile satellite communication networks
1094 -- 1102Bernd E. Wolfinger, Martin Zaddach, Klaus D. Heidtmann, Guangwei Bai. Analytical modeling of primary and secondary load as induced by video applications using UDP/IP
1103 -- 1112Mohammad S. Obaidat, V. Cassod. An implementation for ATM Adaptation Layer 5
1113 -- 1124Davide Adami, Mario Marchese, Luca Simone Ronga. An applied research study for the provision of a QoS-oriented environment for voice and video services over satellite networks
1125 -- 1131Zesong Di, Hussein T. Mouftah. QUIPS-II: a simulation tool for the design and performance evaluation of Diffserv-based networks
1132 -- 1139Dmitri D. Perkins, Herman D. Hughes. Investigating the performance of TCP in mobile ad hoc networks
1140 -- 1149Habib Youssef, Abdulaziz Al-Mulhem, Sadiq M. Sait, Muhammad Atif Tahir. QoS-driven multicast tree generation using Tabu search

Volume 25, Issue 10

915 -- 921Myungmoon Lee, Jintae Yu, Yongbum Kim, Jinwoo Park. A restoration method independent of failure location in all-optical networks
922 -- 943James Aweya, Michel Ouellette, Delfin Y. Montuno. TCP rate control with dynamic buffer sharing
944 -- 953Luo Tao, Krishnappa R. Subramanian, He Feng, XiaoFan Deng. Weighted fair discard scheme for buffer management in the presence of network congestion
954 -- 963Dinh-Dung Luong, József Bíró. Hop-by-hop versus end-to-end active measurements
964 -- 971Jung-Shian Li. Using autoregressive Gaussian processes with trends and aggregations to model self-similar traffic
972 -- 979Chi Wa Leong, Weihua Zhuang. Call admission control for voice and data traffic in wireless communications
980 -- 990Daniel Won-Kyu Hong, Choong Seon Hong. BFRA: bounded flooding routing algorithm for provisioning the globally optimal route in a hierarchical ATM network
991 -- 992Kostas Pentikousis. Book Review: Wireless and Mobile Network Architectures by Yi-Bing Lin and Imrich Chlamtac (Eds.); Wiley, New York, 2001, 550 pages, ISBN: 0-471-39492-0

Volume 25, Issue 1

1 -- 8Luis Villasenor-Gonzalez, Sophia Tsakiridou, Luis Orozco-Barbosa, Louise Lamont. Performance analysis of wireless ATM/AAL2 over a burst error channel
9 -- 20Ng Hock Soon, Narasimhan Sundararajan, Paramasivan Saratchandran. ABR traffic management using minimal resource allocation (neural) networks
21 -- 31Aaron Striegel, G. Manimaran. Packet scheduling with delay and loss differentiation
32 -- 45Ousmane Koné. Conformance testing to real-time communications systems
46 -- 55ShuTang Yang, Shengsheng Yu, Jingli Zhou, Qi Han. Multipoint communications with speech mixing over IP network
56 -- 73Kwan-Wu Chin, Mohan Kumar. MCoRe: an adaptive scheme for rerouting multicast connections in mobile ATM networks
74 -- 83Hemanta Kumar Pati, Rajib Mall, Indranil Sengupta. An efficient bandwidth reservation and call admission control scheme for wireless mobile networks
84 -- 99Marko Hännikäinen, Timo Hämäläinen, Markku Niemi, Jukka Saarinen. Trends in personal wireless data communications
100 -- 108Ray Hunt. A review of quality of service mechanisms in IP-based networks - integrated and differentiated services, multi-layer switching, MPLS and traffic engineering
109 -- 114M. Shiva Kumar, P. Sreenivasa Kumar. Static lightpath establishment in WDM networks - New ILP formulations and heuristic algorithms