Sciweavers

2212 search results - page 250 / 443
» Automated software wrapping
Sort
View
EDBTW
2004
Springer
15 years 11 months ago
Data Sharing and Querying for Peer-to-Peer Data Management Systems
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
Anastasios Kementsietsidis
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
15 years 11 months ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell
KBSE
2003
IEEE
15 years 11 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
ICSE
2001
IEEE-ACM
15 years 10 months ago
Case Study: Extreme Programming in a University Environment
Extreme Programming (XP) is a new and controversial sojiware processfor small teams. A practical training courseat the universityof Karlsruheled to thefollowing observations about...
Matthias M. Müller, Walter F. Tichy
LCTRTS
2001
Springer
15 years 10 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...