5856 search results - page 197 / 1172 » Developing Query Patterns |
152
click to vote
TSE
2008
15 years 4 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
129
Voted
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we propose a system of design patterns for Web navigation. We have collected patterns already published in the literature, selected ten of them, refined th...
143
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
128
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, an application of feature extraction from music data is first introduced to motivate our research of finding approximate repeating patterns from sequence data. An a...
105
Voted
MICAI
2004
Springer
15 years 10 months ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...