3706 search results - page 263 / 742 » OntoComP System Description |
177
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
188
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
186
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
145
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
156
click to vote
BXML
2003
15 years 8 months ago
2003
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...