3864 search results - page 568 / 773 » time 2005 |
187
click to vote
AMR
2005
Springer
16 years 4 days ago
2005
Springer
The XML language is a W3C standard sustained by both the industry and the scientific community. Therefore, the available information annotated in XML keeps and will keep increasing...
196
click to vote
AOSE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Although much effort has been spent on suggesting and implementing new architectures of Multi-Agent Systems (MAS), the evaluation and comparison of these has often been d...
161
click to vote
AOSE
2005
Springer
16 years 4 days ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
165
click to vote
APN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
163
click to vote
APN
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...