45 search results - page 8 / 9 » Derivation of Formal Representations from Process-Based Spec... |
200
Voted
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
143
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
127
click to vote
ENTCS
2008
15 years 3 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
156
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
146
Voted
DLOG
2008
15 years 5 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...