2261 search results - page 407 / 453 » Modeling the Experimental Software Engineering Process |
112
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
139
Voted
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
105
Voted
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
148
click to vote
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
124
click to vote
UIST
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...