Sciweavers

1012 search results - page 58 / 203
» Identification of System Software Components Using Clusterin...
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 2 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
EWSA
2006
Springer
14 years 22 days ago
Eliminating Execution Overhead of Disabled Optional Features in Connectors
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
Lubomír Bulej, Tomás Bures
AIED
2007
Springer
14 years 3 months ago
Porting an Intelligent Tutoring System across Domains
One possible approach to reducing the cost of developing an intelligent tutoring system (ITS) is to reuse the components of an existing ITS. We used this approach to develop an And...
Min Chi, Kurt VanLehn
TITB
2010
120views Education» more  TITB 2010»
13 years 3 months ago
A distributed, collaborative intelligent agent system approach for proactive postmarketing drug safety surveillance
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...
Yanqing Ji, Hao Ying, Margo S. Farber, John Yen, P...
AGENTS
2001
Springer
14 years 1 months ago
CMPack: a complete software system for autonomous legged soccer robots
This paper describes a completely implemented, fully autonomous software system for soccer playing quadruped robots. The system includes real-time color vision, probabilistic loca...
Scott Lenser, James Bruce, Manuela M. Veloso