8810 search results - page 375 / 1762 » Open. Closed. Open |
178
click to vote
DANCE
2002
IEEE
16 years 16 days ago
2002
IEEE
Active Networking adds programmability to the elements of the network, most aggressively by using programmable packets, or capsules. ANTS [1, 2] and PLANet [3, 4] are the most mat...
226
Voted
ICDCS
2002
IEEE
16 years 16 days ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
224
Voted
LICS
2002
IEEE
16 years 15 days ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
197
Voted
ICALP
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. This paper tackles three algorithmic problems for probabilistic automata on finite words: the Emptiness Problem, the Isolation Problem and the Value 1 Problem. The Empti...
199
click to vote
ER
2009
Springer
16 years 6 days ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...