3146 search results - page 467 / 630 » Efficient Consequence Finding |
129
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
109
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
Large-scale sensor networks are becoming more present in our life then ever. Such an environment could be a cellular network, an array of fire detection sensors, an array of solar ...
105
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
117
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
In many applications, classifiers need to be built based on multiple related data streams. For example, stock streams and news streams are related, where the classification patter...
141
Voted
CONEXT
2006
ACM
15 years 7 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...