10908 search results - page 403 / 2182 » Requirements Engineering Tasks |
231
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
149
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
146
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Packet forwarding is a memory-intensive application requiring multiple accesses through a trie structure. The efficiency of a cache for this application critically depends on the ...
131
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
- Rapid progress in deployment of national and regional optical network infrastructures holds the promise to provide abundant, inexpensive bandwidth to scientific communities. The ...
156
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...