Sciweavers

13306 search results - page 412 / 2662
» Theoretical Computer Science
Sort
View
GI
2004
Springer
16 years 7 days ago
Automating the Development of Web Service Compositions Using Templates
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
Dimka Karastoyanova, Alejandro P. Buchmann
GI
2004
Springer
16 years 7 days ago
Extending BPEL4WS for Multiple Instantiation
: A means to define multiple activity instantiation is an important feature of a business process modelling language. In this paper we suggest to extend BPEL4WS with structured ac...
Jan Mendling, Mark Strembeck, Gustaf Neumann
GI
2004
Springer
16 years 7 days ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
GI
2004
Springer
16 years 7 days ago
Engineering a Domain Ontology in a Semantic Web Retrieval System for Pathology
: Telepathology allows pathologists to acquire, analyze and exchange high quality digital histological images for diagnostic and teaching purposes. Concrete applications in this ar...
Robert Tolksdorf, Elena Paslaru Bontas
GI
2004
Springer
16 years 7 days ago
Towards an Organic Middleware for the Smart Doorplate Project
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
Wolfgang Trumler, Faruk Bagci, Jan Petzold, Theo U...