Sciweavers

6704 search results - page 419 / 1341
» Testing Scenario-Based Models
Sort
View
CVPR
2011
IEEE
15 years 2 months ago
Learning structured prediction models for interactive image labeling
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...
Thomas Mensink, Jakob Verbeek, Gabriela Csurka
249
Voted
IFIP
2010
Springer
15 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
MSR
2011
ACM
14 years 9 months ago
Modeling the evolution of topics in source code histories
Studying the evolution of topics (collections of co-occurring words) in a software project is an emerging technique to automatically shed light on how the project is changing over...
Stephen W. Thomas, Bram Adams, Ahmed E. Hassan, Do...
187
Voted
DCOSS
2011
Springer
14 years 6 months ago
Compiling business process models for sensor networks
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
Alexandra Caracas, Alexander Bernauer
222
Voted
EDOC
2011
IEEE
14 years 6 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla