1163 search results - page 214 / 233 » Case Studies of Model Checking for Embedded System Designs |
128
click to vote
AIPR
2002
IEEE
15 years 6 months ago
2002
IEEE
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...
100
click to vote
IAJIT
2007
15 years 1 months ago
2007
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
102
click to vote
DGO
2008
15 years 3 months ago
2008
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities such as the terrorist attacks of September 11th 20...
127
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
215
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...