Sciweavers

3527 search results - page 468 / 706
» Test Automation in Practice
Sort
View
ISPW
2005
IEEE
15 years 4 months ago
Evolving an Experience Base for Software Process Research
Since 1996 the USC Center for Software Engineering has been accumulating a large amount of software process experience through many realclient project software engineering practice...
Zhihao Chen, Daniel Port, Yue Chen, Barry W. Boehm
85
Voted
LICS
2005
IEEE
15 years 4 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
WISE
2005
Springer
15 years 4 months ago
Identifying Value Mappings for Data Integration: An Unsupervised Approach
The Web is a distributed network of information sources where the individual sources are autonomously created and maintained. Consequently, syntactic and semantic heterogeneity of ...
Jaewoo Kang, Dongwon Lee, Prasenjit Mitra
SMA
2005
ACM
104views Solid Modeling» more  SMA 2005»
15 years 4 months ago
Packing a trunk: now with a twist!
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
Friedrich Eisenbrand, Stefan Funke, Andreas Karren...
AIED
2005
Springer
15 years 4 months ago
A User Modeling Framework for Exploring Creative Problem-Solving Ability
This research proposes a user modeling framework which aims to assess and model users’ creative problem-solving ability from their self-explained ideas for a specific scenario of...
Hao-Chuan Wang, Tsai-Yen Li, Chun-Yen Chang