2838 search results - page 319 / 568 » Verifying Controlled Components |
169
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
163
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Molecular communication is a new communication paradigm and uses molecules as a communication carrier. In molecular communication, information is encoded onto molecules at senders...
138
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
199
click to vote
PADL
2007
Springer
16 years 24 days ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
152
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...