1709 search results - page 109 / 342 » Precise Modeling of Design Patterns |
106
Voted
ICCL
1998
IEEE
15 years 5 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
109
Voted
APCCM
2008
15 years 2 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
101
Voted
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
Connections is a file system search tool that combines traditional content-based search with context information gathered from user activity. By tracing file system calls, Conne...
93
Voted
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
106
Voted
ICAPR
2005
Springer
15 years 6 months ago
2005
Springer
The Logarithmic Image Processing model (LIP) is a robust mathematical framework for the processing of transmitted and reflected images. It follows many visual, physical and psycho...