2272 search results - page 293 / 455 » A Calculus for |
133
Voted
DKE
2006
15 years 4 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
151
click to vote
ENTCS
2006
15 years 4 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
117
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
135
click to vote
IJCIS
2006
15 years 4 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
126
click to vote
JOLLI
2008
15 years 4 months ago
2008
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...