Sciweavers

674 search results - page 112 / 135
» The Impact of Service-Oriented Application Development on So...
Sort
View
IJAOSE
2008
97views more  IJAOSE 2008»
13 years 7 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
EUROMICRO
2000
IEEE
14 years 2 days ago
A Coordination Architecture for Internet Groupwork
This paper discusses a group coordination architecture to support Internet-wide distributed collaboration in the context of legacy Internet protocols. Group coordination in distri...
Hans-Peter Dommel, J. J. Garcia-Luna-Aceves
SIGSOFT
2007
ACM
14 years 8 months ago
Parallel test generation and execution with Korat
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
Sasa Misailovic, Aleksandar Milicevic, Nemanja Pet...
HOTSWUP
2009
ACM
14 years 10 days ago
Automating Database Schema Evolution in Information System Upgrades
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
Carlo Curino, Hyun Jin Moon, Carlo Zaniolo
ISRR
2001
Springer
165views Robotics» more  ISRR 2001»
14 years 3 days ago
Human-Centered Robotics and Interactive Haptic Simulation
A new field of robotics is emerging. Robots are today moving towards applications beyond the structured environment of a manufacturing plant. They are making their way into the e...
Oussama Khatib, Oliver Brock, K. C. Chang, Diego C...