5451 search results - page 877 / 1091 » Typed Operational Semantics |
189
click to vote
HOST
2011
IEEE
14 years 3 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
216
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract-- With fast paced growth of digital data and exploding storage management costs, enterprises are looking for new ways to effectively manage their data. One such cost-effec...
143
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
141
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
121
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...