955 search results - page 191 / 191 » Semantic Approach to Dynamic Coordination in Autonomous Syst... |
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
MM
2004
ACM
13 years 11 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
WCRE
2009
IEEE
14 years 10 days ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
INFOCOM
2008
IEEE
14 years 18 hour ago
2008
IEEE
—A firewall is a security guard placed between a private network and the outside Internet that monitors all incoming and outgoing packets. The function of a firewall is to exam...
HPDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Cloud computing [22] is a promising paradigm for the provisioning of IT services. Cloud computing infrastructures, such as those offered by the RESERVOIR project, aim to facilitat...