Sciweavers

56 search results - page 7 / 12
» Tool support for understanding and diagnosing pointcut expre...
Sort
View
OOPSLA
2007
Springer
15 years 3 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
107
Voted
XSYM
2007
Springer
150views Database» more  XSYM 2007»
15 years 3 months ago
Fast Answering of XPath Query Workloads on Web Collections
Several web applications (such as processing RSS feeds or web service messages) rely on XPath-based data manipulation tools. Web developers need to use XPath queries effectively o...
Mariano P. Consens, Flavio Rizzolo
SIGSOFT
2004
ACM
15 years 10 months ago
Heuristic-guided counterexample search in FLAVERS
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Sh...
171
Voted
ICDE
2008
IEEE
218views Database» more  ICDE 2008»
15 years 11 months ago
AxPRE Summaries: Exploring the (Semi-)Structure of XML Web Collections
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
Mariano P. Consens, Flavio Rizzolo, Alejandro A. V...
VL
2008
IEEE
122views Visual Languages» more  VL 2008»
15 years 4 months ago
Designers' natural descriptions of interactive behaviors
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
Sun Young Park, Brad A. Myers, Andrew J. Ko