10916 search results - page 2019 / 2184 » On Constructive Connectives and Systems |
222
click to vote
DILS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...
195
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
181
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
183
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
169
click to vote
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...