2977 search results - page 516 / 596 » Programming Environments for Novices |
CARDIS
2008
Springer
14 years 17 hour ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
CCS
2008
ACM
14 years 16 hour ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
COORDINATION
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
DAC
2005
ACM
13 years 12 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
ECLIPSE
2005
ACM
13 years 12 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...