Sciweavers

3040 search results - page 286 / 608
» Synergetic Tool Environments
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 11 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
BTW
1997
Springer
112views Database» more  BTW 1997»
15 years 10 months ago
Database Application Programming with Versioned Complex Objects
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
Udo Nink, Norbert Ritter
ACMACE
2007
ACM
15 years 10 months ago
Motivated reinforcement learning for adaptive characters in open-ended simulation games
Recently a new generation of virtual worlds has emerged in which users are provided with open-ended modelling tools with which they can create and modify world content. The result...
Kathryn Elizabeth Merrick, Mary Lou Maher
KDD
2010
ACM
228views Data Mining» more  KDD 2010»
15 years 10 months ago
The new iris data: modular data generators
In this paper we introduce a modular, highly flexible, opensource environment for data generation. Using an existing graphical data flow tool, the user can combine various types...
Iris Adä, Michael R. Berthold
ICSE
1997
IEEE-ACM
15 years 10 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...