2911 search results - page 470 / 583 » A Theory of Expressiveness in Mechanisms |
100
Voted
NANONET
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Molecular communication is a new nano-scale communication paradigm that enables nanomachines to communicate with each other by emitting molecules to their surrounding env...
108
click to vote
SEKE
2009
Springer
15 years 6 months ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...
116
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
132
click to vote
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
180
click to vote
POLICY
2001
Springer
15 years 6 months ago
2001
Springer
The Differentiated Services Architecture defines the mechanisms that are needed to offer multiple classes of services in an IP network. While this model offers significant scaling ...