1147 search results - page 78 / 230 » Termination in language-based systems |
EEE
2005
IEEE
14 years 3 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
RR
2009
Springer
14 years 4 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
CLUSTER
2004
IEEE
14 years 1 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
CAV
2008
Springer
13 years 12 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...