1288 search results - page 134 / 258 » On Analysis of Design Component Contracts: A Case Study |
132
click to vote
CANDC
2004
ACM
15 years 1 months ago
2004
ACM
Increasingly, scientists have begun to tackle gene functions and other complex regulatory processes by studying organisms at the global scales for various levels of biological org...
147
click to vote
AOSD
2009
ACM
14 years 11 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
125
click to vote
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
109
Voted
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...