5981 search results - page 453 / 1197 » time 2006 |
191
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
130
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
162
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
The Alfred Mann Foundation is developing a network of up to 850 injectable devices that have stimulating, sensing and communication capabilities. Each of the devices is coordinated...
150
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Ontologies are shared conceptualizations of a certain domain. As such domains may change, also changes in the ontologies have to be considered, as otherwise there is no w...