598 search results - page 97 / 120 » Aspect-Oriented Development Using Protocol Modeling |
124
click to vote
ASE
2002
15 years 1 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
122
click to vote
ANSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Wireless Sensor Networks (WSNs) have gained considerable attention in the past few years. As such, there has been an increasing need for defining and developing simulation framew...
135
click to vote
SENSYS
2003
ACM
15 years 7 months ago
2003
ACM
We present a technique for compression of shortest paths routing tables for wireless ad hoc networks. The main characteristic of such networks is that geographic location of nodes...
138
Voted
WSC
1997
15 years 3 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
90
Voted
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Information dissemination in electronic form has improved drastically over the past few years. New technologies in web feeds allow the uses to get notified automatically when new...