2838 search results - page 397 / 568 » Verifying Controlled Components |
MIS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
OTM
2005
Springer
14 years 4 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
ESAW
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we propose a new role for the agent metaphor in the definition of the organizational structure of multiagent systems. The agent metaphor is extended to cons...
HYBRID
2004
Springer
14 years 4 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
ISNN
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...