123 search results - page 20 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
177
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
101
click to vote
PST
2004
14 years 11 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
MKWI
2008
14 years 11 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
AOSD
2008
ACM
14 years 12 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
AUTOMATICA
2006
14 years 10 months ago
2006
Abstract-- The Saint-Venant equations describe the dynamics of one dimensional open-channel flow. The paper investigates linearized Saint-Venant equations modes and their control. ...