2838 search results - page 319 / 568 » Verifying Controlled Components |
184
click to vote
ICSE
2003
IEEE-ACM
16 years 7 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-...
177
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...
152
click to vote
ICRA
2007
IEEE
16 years 1 months 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...
215
click to vote
PADL
2007
Springer
16 years 1 months 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...
168
click to vote
TGC
2007
Springer
16 years 1 months 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...