76 search results - page 11 / 16 » Verifying Real-Time Systems against Scenario-Based Requireme... |
RTAS
2007
IEEE
15 years 3 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
SAMOS
2009
Springer
15 years 4 months ago
2009
Springer
Developing real time multimedia applications for best effort networks such as the Internet requires prohibitions against jitter delay and frame loss. This problem is further compl...
SEUS
2007
IEEE
15 years 3 months ago
2007
IEEE
We propose a framework that supports user-friendly configuration of a new location sensor system and its automatic integration with a location manager. The framework abstracts out...
ASE
2005
14 years 9 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
BMCBI
2010
14 years 9 months ago
2010
Background: Predicting metabolic sites is important in the drug discovery process to aid in rapid compound optimisation. No interactive tool exists and most of the useful tools ar...