708 search results - page 45 / 142 » Precise Specification and Automatic Application of Design Pa... |
126
click to vote
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
140
click to vote
ISSTA
1996
ACM
15 years 7 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...
107
Voted
TVCG
2012
13 years 5 months ago
2012
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...
108
click to vote
KCAP
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
147
click to vote
KDD
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we study the problem of applying data mining to facilitate the investigation of money laundering crimes (MLCs). We have identified a new paradigm of problems --- th...