8808 search results - page 157 / 1762 » Process Change Patterns |
101
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
112
Voted
MVA
1990
15 years 3 months ago
1990
This paper presents an approach to recognize human motion from singleviewed image sequencein order to realize a new man-computerinterface.Thehuman body is assumed to be linked mod...
116
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Regular expressions are widely used in Network Intrusion Detection System (NIDS) to represent patterns of network attacks. Since traditional software-only NIDS cannot catch up to ...
147
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
124
click to vote
ESA
2010
Springer
15 years 3 months ago
2010
Springer
We show how to route on very large public transportation networks (up to half a billion arcs) with average query times of a few milliseconds. We take into account many realistic fe...