4894 search results - page 679 / 979 » Dynamic Abstraction Planning |
258
Voted
FAABS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
160
click to vote
GCC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, the resource availability issue has been addressed with respect to the intermittent connectivity and dynamic presence of peers in a P2P system. We aim to m...
160
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we introduce a numerical procedure for performing dynamic data driven simulations (DDDAS). The main ingredient of our simulation is the multiscale interpola...
172
click to vote
ICWL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper calls on activity theory as tool for analyzing Asynchronous Learning Networks (ALN) to achieve a better understanding of their dynamics. This paper makes some ...
215
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...