2748 search results - page 358 / 550 » Generating Object-Z Specifications from Use Cases |
149
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
155
click to vote
COCOA
2008
Springer
15 years 6 months ago
2008
Springer
The World Wide Web may be viewed as a graph each of whose vertices corresponds to a static HTML web page, and each of whose edges corresponds to a hyperlink from one web page to an...
116
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Services are developed separately and without knowledge of all possible use contexts. They often mismatch or do not correspond exactly to the end-user needs, making direct composit...
134
click to vote
ALT
2010
Springer
15 years 5 months ago
2010
Springer
: In many prediction problems, including those that arise in computer security and computational finance, the process generating the data is best modeled as an adversary with whom ...
135
click to vote
SGAI
2010
Springer
15 years 2 months ago
2010
Springer
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve in...