Sciweavers

1742 search results - page 157 / 349
» A Framework for Network Modeling in Prolog
Sort
View
TCOM
2010
131views more  TCOM 2010»
14 years 11 months ago
An Overview of the Transmission Capacity of Wireless Networks
Abstract--This paper surveys and unifies a number of recent contributions that have collectively developed a metric for decentralized wireless network analysis known as transmissio...
Steven Weber, Jeffrey G. Andrews, Nihar Jindal
ICN
2005
Springer
15 years 10 months ago
Packet Scheduling Across Networks of Switches
Abstract. Recent developments in computer and communication networks require scheduling decisions to be made under increasingly complex system dynamics. We model and analyze the pr...
Kevin Ross, Nicholas Bambos
ALGOSENSORS
2004
Springer
15 years 10 months ago
Constrained Flow Optimization with Applications to Data Gathering in Sensor Networks
We focus on data gathering problems in energy-constrained wireless sensor networks. We study store-and-gather problems where data are locally stored on the sensors before the data ...
Bo Hong, Viktor K. Prasanna
NAR
2006
188views more  NAR 2006»
15 years 4 months ago
BiologicalNetworks: visualization and analysis tool for systems biology
Systemslevelinvestigationofgenomicscaleinformation requires the development of truly integrated databases dealing with heterogeneous data, which can be queried for simple properti...
Michael Baitaluk, Mayya Sedova, Animesh Ray, Amarn...
FORTE
2008
15 years 6 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...