1980 search results - page 231 / 396 » Compositional Model Checking of Real Time Systems |
126
Voted
PADS
2000
ACM
15 years 7 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
146
Voted
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
105
Voted
APGV
2007
ACM
15 years 7 months ago
2007
ACM
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
154
click to vote
MICAI
2000
Springer
15 years 7 months ago
2000
Springer
This work presents a real time system for detection and tracking of facial features in video sequences. Such system may be used in visual communication applications, such as teleco...
114
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...