Sciweavers

3024 search results - page 169 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
SIGMOD
2005
ACM
175views Database» more  SIGMOD 2005»
16 years 6 months ago
A taxonomy of scientific workflow systems for grid computing
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
Jia Yu, Rajkumar Buyya
ATAL
2007
Springer
16 years 19 days ago
Breaking into industry: tool support for multiagent systems
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...
Simon Lynch, Keerthi Rajendran
ICSM
2006
IEEE
16 years 14 days ago
Dynamic Updating of Software Systems Based on Aspects
Long-running applications such as network services require continuous uptime but also frequent changes to the software. To avoid downtime for software maintenance, applications mu...
Susanne Cech Previtali, Thomas R. Gross
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 10 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...