5184 search results - page 943 / 1037 » Computer support for mechatronic control system design |
144
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
131
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
145
click to vote
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
142
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
Peer-to-Peer (P2P) file sharing is the hottest, fastest growing application on the Internet. When designing Gnutella-like applications, the most important consideration is the sca...
136
click to vote
DSOM
2003
Springer
15 years 9 months ago
2003
Springer
The goal of autonomic storage allocation is to achieve allocation of storage resources, their performance monitoring, and hotspot elimination by specifying comparatively high-leve...