Sciweavers

5114 search results - page 903 / 1023
» Complex networks
Sort
View
FORTE
2008
13 years 10 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
SIMUTOOLS
2008
13 years 10 months ago
Implementing MAC protocols for cooperative relaying: a compiler-assisted approach
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
Hermann S. Lichte, Stefan Valentin
PDPTA
2007
13 years 10 months ago
Mobile Services Based on Client-Server or P2P Architectures facing Issues of Context-Awareness and Heterogeneous
With the advent of mobile computing and mobile services becoming more widespread and more complex, the development process of those services requires an ever more important focus o...
Robert Schmohl, Uwe Baumgarten
CATE
2004
168views Education» more  CATE 2004»
13 years 10 months ago
Remote e-Learning System for Schools
Experience from the management of distributed computer-based learning resources in schools has been proven to be inefficient and costly. Though commercial software packages are av...
Kai-Pan Mark, Sheung-lun Hung, William Tsang
COOP
2004
13 years 10 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...