9626 search results - page 1385 / 1926 » Invariant Based Programming |
192
click to vote
IFIP
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
191
click to vote
IFIP
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...
161
click to vote
C5
2009
IEEE
16 years 5 days ago
2009
IEEE
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empower...
151
click to vote
ACSAC
2002
IEEE
16 years 1 days ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
152
click to vote
APCCAS
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper proposes a new approach to reducing the power consumption of instruction ROMs for embedded systems. The power consumption of instruction ROMs strongly depends on the sw...