4767 search results - page 824 / 954 » Structures for Abstract Rewriting |
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
ICUMT
2009
13 years 7 months ago
2009
Abstract--In this paper we address the task of accurately reconstructing a distributed signal through the collection of a small number of samples at a data gathering point using Co...
ICUMT
2009
13 years 7 months ago
2009
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
ICWN
2009
13 years 7 months ago
2009
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....