497 search results - page 71 / 100 » Overview of QAST 2008 |
ANOR
2008
14 years 12 months ago
2008
In this paper, we consider several discrete-time priority queues with priority jumps. In a priority scheduling scheme with priority jumps, real-time and non-real-time packets arri...
ASE
2008
14 years 12 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
104
click to vote
BIOSYSTEMS
2008
14 years 12 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
CCR
2008
14 years 12 months ago
2008
As the saying goes, "In theory there is no difference between theory and practice. But, in practice, there is." Networking research has a wealth of good papers on both s...
103
click to vote
DEBU
2008
14 years 12 months ago
2008
In this paper, we describe our experiences in building and evolving an XQuery engine with a focus on data and service federation use cases. The engine that we discuss is a core co...