4099 search results - page 460 / 820 » A Framework for Interactive Proof |
190
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
170
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
209
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
173
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...
217
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...