8080 search results - page 165 / 1616 » From Computer Networks to Agent Networks |
115
Voted
DCOSS
2007
Springer
15 years 7 months ago
2007
Springer
The exposure of a path p is a measure of the likelihood that an object traveling along p is detected by a network of sensors and it is formally defined as an integral over all poin...
139
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
126
Voted
WSC
2004
15 years 4 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
154
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
119
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
: This paper presents a novel encryption-less algorithm to enhance security in transmission of data in networks. The algorithm uses an intuitively simple idea of a `jigsaw puzzle&#...