1121 search results - page 176 / 225 » Building Formal Requirements Models for Reliable Software |
136
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
143
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
140
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
129
click to vote
ICAI
2004
15 years 5 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
152
click to vote
COMAD
2009
15 years 5 months ago
2009
Implementing a CRM Analytics solution for a business involves many steps including data extraction, populating the extracted data into a warehouse, and running an appropriate mini...