59 search results - page 9 / 12 » Eliminating Trust From Application Programs By Way Of Softwa... |
PERVASIVE
2010
Springer
13 years 8 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
EDOC
2003
IEEE
13 years 12 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
DASIP
2010
13 years 1 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
WWW
2005
ACM
14 years 7 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
CASES
2009
ACM
14 years 1 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...