Sciweavers

7380 search results - page 809 / 1476
» Engineering Software Intensive Systems
Sort
View
SEKE
2007
Springer
16 years 1 months ago
On Modern Debugging For Rule-Based Systems
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
Valentin Zacharias, Andreas Abecker
SEKE
2005
Springer
16 years 23 days ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
RISE
2004
Springer
16 years 19 days ago
An Exception Monitoring System for Java
Exception mechanism is important for the development of robust programs to make sure that exceptions are handled appropriately at run-time. In this paper, we develop a dynamic exce...
Heejung Ohe, Byeong-Mo Chang
UML
1997
Springer
15 years 11 months ago
Systems, Views and Models of UML
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe...
CAV
2009
Springer
132views Hardware» more  CAV 2009»
16 years 7 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas