Sciweavers

234 search results - page 22 / 47
» A data-oriented transaction execution engine and supporting ...
Sort
View
WWW
2003
ACM
15 years 10 months ago
Supporting Cooperative Activities with Shared Hypermedia Workspaces on the WWW
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...
Jörg M. Haake, Jessica Rubart, Weigang Wang
74
Voted
AC
2003
Springer
15 years 2 months ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
EUROSYS
2011
ACM
14 years 1 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...
128
Voted
COMPSAC
2004
IEEE
15 years 1 months ago
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
Wei-Tek Tsai, Weiwei Song, Raymond A. Paul, Zhibin...
APSEC
2007
IEEE
15 years 4 months ago
A Six Sigma Framework for Software Process Improvements and its Implementation
Six Sigma has been adopted by many software development organizations to identify problems in software projects and processes, find optimal solutions for the identified problems, ...
Zhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin ...