Sciweavers

112 search results - page 21 / 23
» Test Case Preparation Using a Prototype
Sort
View
FAC
2008
100views more  FAC 2008»
13 years 7 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
SP
2002
IEEE
114views Security Privacy» more  SP 2002»
13 years 7 months ago
Efficiently building on-line tools for distributed heterogeneous environments
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
Günther Rackl, Thomas Ludwig 0002, Markus Lin...
CORR
2010
Springer
145views Education» more  CORR 2010»
13 years 4 months ago
Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
Bolanle Oladejo, Victor Odumuyiwa, Amos David
PVLDB
2010
116views more  PVLDB 2010»
13 years 2 months ago
Schism: a Workload-Driven Approach to Database Replication and Partitioning
We present Schism, a novel workload-aware approach for database partitioning and replication designed to improve scalability of sharednothing distributed databases. Because distri...
Carlo Curino, Yang Zhang, Evan P. C. Jones, Samuel...
IUI
2004
ACM
14 years 25 days ago
Qualitative physics in virtual environments
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mika...