4957 search results - page 279 / 992 » Simplifying Distributed System Development |
86
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
113
click to vote
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
113
click to vote
MDM
2009
Springer
15 years 5 months ago
2009
Springer
Context-awareness has become a desired key feature of today’s mobile systems, yet, its realization still remains a challenge. On the one hand, mobile computing provides great po...
110
click to vote
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
100
click to vote
WSC
2007
15 years 2 months ago
2007
The need for interoperability of information systems among supply chain partners has been recognized. A number of standards have been or are being developed to ensure interoperabi...