3763 search results - page 523 / 753 » Component-Based Software Engineering Processes |
163
click to vote
IUI
2005
ACM
16 years 2 days ago
2005
ACM
Pinpoint is a promising first step towards using a rich model of task context in proactive and dynamic IR systems. Pinpoint allows a user to navigate decision tree representations...
200
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
The simulated evaluation of memory management policies relies on reference traces—logs of memory operations performed by running processes. No existing approach to reference tra...
191
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
151
click to vote
ISESE
2002
IEEE
15 years 11 months ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...
138
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...