1676 search results - page 305 / 336 » Formal Development of Self-organising Systems |
ASE
2006
13 years 7 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
KI
2008
Springer
13 years 7 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...
ENTCS
2007
13 years 7 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
SIGMOD
2008
ACM
13 years 7 months ago
2008
ACM
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...