861 search results - page 82 / 173 » Internal implementation |
102
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
133
click to vote
JAIR
2006
15 years 2 months ago
2006
In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong...
132
click to vote
JUCS
2010
15 years 1 months ago
2010
: The present article aims to describe the Living Lab’s method as a method innovation in institutional activities and the problems of taking this innovation into use. Possibiliti...
154
Voted
ADAEUROPE
2010
Springer
15 years 18 days ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
150
Voted
SIGCOMM
2012
ACM
13 years 5 months ago
2012
ACM
Prefix hijacking has always been a big concern in the Internet. Some events made it into the international world-news, but most of them remain unreported or even unnoticed. The s...