3765 search results - page 45 / 753 » Qualitative Action Systems |
ICTAI
2008
IEEE
14 years 3 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
VLSID
2000
IEEE
14 years 1 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
ISJ
2000
13 years 8 months ago
2000
The last dozen years have seen a considerable investment of resources into the research and development of Group Support Systems (GSS) technology. This paper describes how a GSS w...
EDBT
2008
ACM
13 years 10 months ago
2008
ACM
Testing peer-to-peer (P2P) systems is difficult because of the high numbers of nodes which can be heterogeneous and volatile. A test case may be composed of several ordered action...