1206 search results - page 134 / 242 » Concurrent Abstract Predicates |
145
click to vote
SFP
2001
15 years 6 months ago
2001
We describe the design and implementation of a Standard ML of New Jersey library for the interactive pretty-printing of possibly infinite syntax trees. The library handles elision ...
159
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
129
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
139
Voted
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
134
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When developing situation awareness applications we begin by constructing an OWL ontology to capture a language of discourse for the domain of interest. Such an ontology,...