Sciweavers

3346 search results - page 197 / 670
» A Generic Rendering System
Sort
View
KBSE
2006
IEEE
16 years 15 days ago
Effective Generation of Interface Robustness Properties for Static Analysis
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 11 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...
AAAI
2006
15 years 8 months ago
Building Explainable Artificial Intelligence Systems
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
Mark G. Core, H. Chad Lane, Michael van Lent, Dave...
GPCE
2004
Springer
15 years 12 months ago
VS-Gen: A Case Study of a Product Line for Versioning Systems
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
Jernej Kovse, Christian Gebauer
SEM
2004
Springer
15 years 12 months ago
A Middleware Centric Approach to Building Self-Adapting Systems
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
Svein O. Hallsteinsen, Jacqueline Floch, Erlend St...