3994 search results - page 672 / 799 » A Linear Logical Framework |
175
click to vote
EAGC
2003
Springer
15 years 10 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...
177
click to vote
ICN
2009
Springer
15 years 9 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...
132
click to vote
PLSA
1994
15 years 8 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
135
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
117
click to vote
CLUSTER
2004
IEEE
15 years 8 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...