3765 search results - page 45 / 753 » Qualitative Action Systems |
152
click to vote
ICTAI
2008
IEEE
16 years 17 days 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 ...
135
click to vote
VLSID
2000
IEEE
15 years 10 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...
144
click to vote
PERCOM
2006
ACM
16 years 5 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...
143
click to vote
ISJ
2000
15 years 6 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...
174
click to vote
EDBT
2008
ACM
15 years 8 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...