2050 search results - page 282 / 410 » A formal foundation for process modeling |
191
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
187
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
204
click to vote
AICT
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
196
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
215
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...