3724 search results - page 503 / 745 » Timed regular expressions |
174
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
181
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
158
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
The problem of discovering association rules has received considerable research attention and several fast algorithms for mining association rules have been developed. In practice...
167
click to vote
SEE
1997
Springer
15 years 10 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
186
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...