6395 search results - page 882 / 1279 » Searching for Interacting Features |
209
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
175
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
The development of complex distributed systems demands for the creation of suitable architectural styles (or paradigms) and related run-time infrastructures. An emerging style tha...
148
click to vote
DEXAW
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper proposes a system which eases the job of entering and sharing expert analysis on a database system, with emphasis to pictorial and document information. With this syste...
149
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
We present an interactive system for creating pen-and-ink-style line drawings from greyscale images in which the strokes of the rendered illustration follow the features of the or...
174
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Several operations of Web-based applications are optimized with respect to the set of resources that will receive the majority of requests in the near future, namely the hot set. U...