12459 search results - page 192 / 2492 » cans 2006 |
154
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
121
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
— When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into small...
147
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper reviews the concepts of Earned Value Management established in traditional project management, and determines whether and how they can be applied to software developmen...
165
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
167
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for determining whether a given collection of jobs can be scheduled to m...