2303 search results - page 335 / 461 » The Cryptographic Abstract Machine |
186
click to vote
OOPSLA
2009
Springer
16 years 25 days ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
146
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
164
click to vote
ERSHOV
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
163
click to vote
ICTAC
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
182
click to vote
IROS
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—Autonomous robot navigation in unstructured outdoor environments is a challenging area of active research. The navigation task requires identifying safe, traversable pat...