1410 search results - page 239 / 282 » A Logic for Virtual Memory |
169
click to vote
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
135
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
165
click to vote
DKE
2010
15 years 4 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
123
click to vote
CGF
2004
15 years 4 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...