899 search results - page 105 / 180 » A Temporal Language for SystemC |
122
Voted
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
137
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
147
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
130
click to vote
CAISE
1998
Springer
15 years 5 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
142
click to vote
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...