2153 search results - page 327 / 431 » From Requirements Models to Formal Specifications in B |
165
click to vote
MODELS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
188
click to vote
SPIESR
1996
15 years 7 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
136
click to vote
AIEDAM
2004
15 years 6 months ago
2004
Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating ...
163
click to vote
CI
2004
15 years 6 months ago
2004
The emerging standards for the specification of Web Services support the publication of the static interfaces of the operations they may execute. However, little attention is paid...
164
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
The Simple API for Grid Applications (SAGA) can be used to develop a range of applications which are in turn composed of multiple sub-tasks. In particular SAGA is an effective tool...