215 search results - page 3 / 43 » Toward Verified Execution Environments |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
AIS
2006
Springer
13 years 7 months ago
2006
Springer
Negative attitudes toward robots are considered as one of psychological factors preventing humans from interacting with robots in daily life. To verify their influence on humans&#...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...