1876 search results - page 102 / 376 » Language Networks on LiveJournal |
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Wireless network research still lacks methods to integratively evaluate the performance that can be expected from application layer protocols. The user behavior is predominantly aļ...
210
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
104
click to vote
IGPL
2010
14 years 11 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model deļ¬ned following a visual modeling language, called dependence network...
107
Voted
IPSN
2007
Springer
15 years 7 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
104
click to vote
SIGADA
2001
Springer
15 years 5 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...