3009 search results - page 532 / 602 » The Expressive Rate of Constraints |
185
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
191
click to vote
RTSS
2008
IEEE
16 years 23 days ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
179
click to vote
IPSN
2007
Springer
16 years 16 days ago
2007
Springer
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
186
click to vote
FDL
2006
IEEE
16 years 13 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
176
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...