660 search results - page 89 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
132
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
116
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
109
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
151
Voted
IRI
2008
IEEE
15 years 9 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
122
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
The flexibility provided by hardware virtualization allows administrators to rapidly create, destroy, and migrate systems across physical hosts. Unfortunately, the storage systems...