Sciweavers

2897 search results - page 385 / 580
» Test Case Integration: From Components to Systems
Sort
View
AAAI
2011
14 years 6 months ago
Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional Texts
Analogy is heavily used in instructional texts. We introduce the concept of analogical dialogue acts (ADAs), which represent the roles utterances play in instructional analogies. ...
David Michael Barbella, Kenneth D. Forbus
CRIWG
2003
15 years 7 months ago
Application Design Based on Work Ontology and an Agent Based Awareness Server
Collaborative Systems support user groups enabling a shared environment and informing of its state and changes through a mechanism called awareness. We believe that these changes a...
Rosa Alarcón, David A. Fuller
RTSS
1999
IEEE
15 years 10 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
CASES
2011
ACM
14 years 6 months ago
Cost-effective safety and fault localization using distributed temporal redundancy
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
Brett H. Meyer, Benton H. Calhoun, John Lach, Kevi...
EDOC
2006
IEEE
16 years 16 days ago
Exploring Intentional Modeling and Analysis for Enterprise Architecture
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
Eric S. K. Yu, Markus Strohmaier, Xiaoxue Deng