Sciweavers

761 search results - page 96 / 153
» A Reactive Approach to Explanation
Sort
View
CAISE
2005
Springer
15 years 9 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli
ATAL
2006
Springer
15 years 8 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
FORTE
2004
15 years 5 months ago
Localizing Program Errors for Cimple Debugging
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
Samik Basu, Diptikalyan Saha, Scott A. Smolka
FECS
2006
100views Education» more  FECS 2006»
15 years 5 months ago
Pair Programming: Not for Everyone?
- Developments in CS1 pedagogy seek to improve the capabilities of students in their understanding of how to write programs. This involves learning how to solve various types of pr...
Jacob P. Somervell
ICIS
1994
15 years 5 months ago
Valuing IT through Virtual Process Measurement
The so called "productivity paradox" associated with information technology remains the focus of active research in information systems. One explanation involves the dea...
Mark E. Nissen