215 search results - page 16 / 43 » Toward Verified Execution Environments |
MIDDLEWARE
2004
Springer
14 years 27 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
This paper is about business process management (BPM) and business activity monitoring (BAM) using event processing. We will show why the management of business processes is impor...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—To address energy constraint problem in sensor networks, node reclamation and replacement strategy has been proposed for networks accessible to human beings and robots. The majo...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...