Sciweavers

7139 search results - page 132 / 1428
» Language Engineering in Practice
Sort
View
ATAL
1995
Springer
15 years 10 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
ENTCS
2008
87views more  ENTCS 2008»
15 years 6 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
UIST
1998
ACM
15 years 10 months ago
Spatial Interpretation of Domain Objects Integrated into a Freeform Electronic Whiteboard
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
Thomas P. Moran, William van Melle, Patrick Chiu
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
16 years 11 days ago
XABSL - A Pragmatic Approach to Behavior Engineering
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
Martin Lötzsch, Max Risler, Matthias Jün...