Sciweavers

8278 search results - page 347 / 1656
» Context-Aware Process Networks
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ISCC
2006
IEEE
133views Communications» more  ISCC 2006»
16 years 23 days ago
Choosing Weights for IP Network Dimensioning Optimization
Often in Internet Protocol (IP) networks, links are assigned weights, and traffic demands are routed along shortest paths. Hence, these link weights are the parameters which dete...
Olivier Klopfenstein, Sebastien Mamy
EUC
2004
Springer
16 years 4 days ago
Embedded System Design for Network Time Synchronization
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...
So-Young Hwang, Dong-Hui Yu, Ki-Joune Li
WSC
1998
15 years 8 months ago
Integrating Neural Networks with Special Purpose Simulation
Traditional methods of dealing with variability in simulation input data are mainly stochastic. This is most often the best method to use if the factors affecting the variation or...
Dany Hajjar, Simaan M. AbouRizk, Kevin Mather
ADHOCNOW
2008
Springer
15 years 7 months ago
Adaptive Priority Based Distributed Dynamic Channel Assignment for Multi-radio Wireless Mesh Networks
Abstract. This paper investigates the challenges involve in designing a dynamic channel assignment (DCA) scheme for wireless mesh networks, particularly for multi-radio systems. It...
Tope R. Kareem, Karel Matthee, H. Anthony Chan, Nt...