371 search results - page 15 / 75 » Verification of Timing Properties in Rapid System Prototypin... |
FORMATS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
UIST
2000
ACM
14 years 10 days ago
2000
ACM
Speech-based user interfaces are growing in popularity. Unfortunately, the technology expertise required to build speech UIs precludes many individuals from participating in the s...
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We present a framework that enables the use of traditional feature selection algorithms in a new context - for building a set of subsets of specified properties. During the course...