6836 search results - page 1122 / 1368 » Modelling Web-Oriented Architectures |
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
197
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
186
click to vote
BROADNETS
2006
IEEE
15 years 10 months ago
2006
IEEE
Traffic grooming continues to be a rich area of research in the context of WDM optical networks. We provide an overview of the optical and electronic grooming techniques available...
145
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes the architecture of a safety system of the railway's interlocking equipment, which has been developed for Czech railways. The system will be used for the...
177
click to vote
DSRT
2004
IEEE
15 years 10 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...