4266 search results - page 779 / 854 » A Framework for Defining Logics |
ISCC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a new active queue management scheme, Fuzzy Explicit Marking (FEM), implemented within the differentiated services (Diff-Serv) framework to provide congestion ...
101
click to vote
EAGC
2003
Springer
15 years 3 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
107
click to vote
ICN
2009
Springer
15 years 2 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...
PLSA
1994
15 years 1 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
CLUSTER
2004
IEEE
15 years 1 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...