Sciweavers

5210 search results - page 658 / 1042
» Tools for Distributed Facilitation
Sort
View
VLDB
2005
ACM
103views Database» more  VLDB 2005»
16 years 11 days ago
Consistency for Web Services Applications
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
Paul Greenfield, Dean Kuo, Surya Nepal, Alan Feket...
WER
2005
Springer
16 years 11 days ago
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
Alessandro Fantechi, Emilio Spinicci
EUROPAR
2004
Springer
16 years 8 days ago
Detecting Data Races in Sequential Programs with DIOTA
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunat...
Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere
CA
2003
IEEE
16 years 5 days ago
XSTEP: A Markup Language for Embodied Agents
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
Zhisheng Huang, Anton Eliëns, Cees T. Visser
CLUSTER
2003
IEEE
16 years 5 days ago
Parallel Design Pattern for Computational Biology and Scientific Computing Applications
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...
Weiguo Liu, Bertil Schmidt