Sciweavers

5766 search results - page 773 / 1154
» Reverse Engineering of Data
Sort
View
FASE
2008
Springer
15 years 8 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
IESA
2007
15 years 8 months ago
The Interoperability of Information and its Representation in New Media: A Case Study of a Global Content Provider
This paper focuses on the construct of interoperability of web-based information applications, commonly known as ‘mashups’, reporting a case study of a global content provider...
J. Mariategui, J. Kallinikos
INFOSCALE
2007
ACM
15 years 8 months ago
An agent-based decentralised process management framework for web service composition
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
Jun Yan, Phillip Pidgeon, Aneesh Krishna, Jianming...
ISSRE
2007
IEEE
15 years 8 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
AVI
2010
15 years 8 months ago
Setting the bar for set-valued attributes
In this paper, we present an interactive visualization method for set-valued attributes that maintains the advantages of item-oriented views and interactions found in parallel mul...
Kent Wittenburg