Sciweavers

3161 search results - page 311 / 633
» Documenting framework behavior
Sort
View
ECAI
2004
Springer
16 years 3 days ago
High-Level Observations in Java Debugging
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner
KES
2004
Springer
16 years 2 days ago
A Collaborative Multi-agent Based Workflow System
Agent based workflow systems are being discussed by many researchers for a long time. In this paper we present a new collaborative approach for workflow systems. Agents collaborate...
Bastin Tony Roy Savarimuthu, Maryam Purvis
TES
2004
Springer
16 years 1 days ago
Robust Web Services via Interaction Contracts
Web services represent the latest effort of the information technology industry to provide a framework for cross enterprise automation. One principal characteristic of this framewo...
David B. Lomet
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 11 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
ICRA
1998
IEEE
95views Robotics» more  ICRA 1998»
15 years 11 months ago
Stabilization of Systems with Changing Dynamics by Means of Switching
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
Milos Zefran, Joel W. Burdick