Sciweavers

869 search results - page 114 / 174
» A process modelling success model: insights from a case stud...
Sort
View
ESOP
2001
Springer
14 years 10 days ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
APN
2006
Springer
13 years 11 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
SRDS
2003
IEEE
14 years 1 months ago
Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
Domenico Cotroneo, Cristiano di Flora, Generoso Pa...
ICDM
2010
IEEE
217views Data Mining» more  ICDM 2010»
13 years 5 months ago
Discovering Temporal Features and Relations of Activity Patterns
An important problem that arises during the data mining process in many new emerging application domains is mining data with temporal dependencies. One such application domain is a...
Ehsan Nazerfard, Parisa Rashidi, Diane J. Cook
DATE
1999
IEEE
144views Hardware» more  DATE 1999»
14 years 5 days ago
A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive Tester
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...