2638 search results - page 54 / 528 » A Framework for Automatic Debugging |
IANDC
2008
15 years 1 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
118
click to vote
DSL
2009
14 years 11 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
128
click to vote
WECWIS
2009
IEEE
15 years 8 months ago
2009
IEEE
The process of semantic web service composition arranges several web services into one composite service to realize complex workflows with an exploitation of semantics. This pape...
132
click to vote
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
110
click to vote
SCAM
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...