Sciweavers

10239 search results - page 1779 / 2048
» Postmodern Software Development
Sort
View
134
Voted
ICWE
2004
Springer
15 years 8 months ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
124
Voted
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 8 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...
161
Voted
ISCIS
2004
Springer
15 years 8 months ago
Coordinating Distributed Autonomous Agents with a Real-Time Database: The CAMBADA Project
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
Luís Almeida, Frederico Santos, Tullio Facc...
109
Voted
ISPA
2004
Springer
15 years 8 months ago
VIOLIN: Virtual Internetworking on Overlay Infrastructure
We propose a novel alternative to application-level overlays called VIOLIN, or Virtual Internetworking on OverLay INfrastructure. Inspired by recent advances in virtual machines, ...
Xuxian Jiang, Dongyan Xu
115
Voted
IWQOS
2004
Springer
15 years 8 months ago
On quality-of-service and energy consumption tradeoffs in FEC-encoded audio streaming
This paper addresses the energy consumption of forward error correction (FEC) protocols as used to improve quality-of-service (QoS) for wireless computing devices. The paper also ...
Zhinan Zhou, Philip K. McKinley, Seyed Masoud Sadj...
« Prev « First page 1779 / 2048 Last » Next »