Sciweavers

413 search results - page 78 / 83
» A Process for Requirement Traceability in Agent Oriented Dev...
Sort
View
HICSS
2002
IEEE
111views Biometrics» more  HICSS 2002»
15 years 4 months ago
Intelligent Workflow Techniques for Distributed Group Facilitation
Distributed group facilitation techniques are becoming a necessity because many of the face-toface facilitation techniques are no longer suitable in a distributed environment. Alt...
Jay F. Nunamaker, J. Leon Zhao, Robert O. Briggs
TSC
2008
209views more  TSC 2008»
14 years 11 months ago
Effective Web Service Composition in Diverse and Large-Scale Service Networks
Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...
Seog-Chan Oh, Dongwon Lee, Soundar R. T. Kumara
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 5 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
STEP
2005
IEEE
15 years 5 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert
KBSE
1995
IEEE
15 years 3 months ago
A Model for Decision Maintenance in the WinWin Collaboration Framework
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
Prasanta K. Bose