4693 search results - page 887 / 939 » Verifying Hybrid Systems |
121
Voted
MOBICOM
2005
ACM
15 years 6 months ago
2005
ACM
Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the internet. These networks are chara...
149
click to vote
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
114
Voted
JSSPP
2005
Springer
15 years 6 months ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...
110
click to vote
MMMACNS
2005
Springer
15 years 6 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
98
Voted
SIGCOMM
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a methodology for identifying the autonomous system (or systems) responsible when a routing change is observed and propagated by BGP. The origin of such a rout...