1051 search results - page 200 / 211 » Protocols in the use of empirical software engineering artif... |
210
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
187
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
166
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 9 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...
155
click to vote
IPSN
2010
Springer
16 years 25 days ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
171
click to vote
CODES
2008
IEEE
16 years 14 days ago
2008
IEEE
The combination of flit-buffer flow control methods and latency-insensitive protocols is an effective solution for networks-on-chip (NoC). Since they both rely on backpressure...