245 search results - page 36 / 49 » Verifying networked programs using a model checker extension |
112
click to vote
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Advances in networking technology have enabled network engineers to use sampled data from routers to estimate network flow volumes and track them over time. However, low sampling ...
MAS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
84
Voted
MOBIHOC
2002
ACM
15 years 9 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...
AINA
2005
IEEE
15 years 3 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...