76 search results - page 2 / 16 » Verifying Real-Time Systems against Scenario-Based Requireme... |
WORDS
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
RTSS
2008
IEEE
13 years 11 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
RTCSA
2005
IEEE
13 years 10 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
COOPIS
2002
IEEE
13 years 10 months ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...