440 search results - page 27 / 88 » Local reasoning for abstraction and sharing |
114
click to vote
AAMAS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
112
click to vote
IFIPTM
2010
15 years 13 days ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...
132
click to vote
DEON
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
124
click to vote
DAGM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Automatic visual inspection has become an important application of pattern recognition, as it supports the human in this demanding and often dangerous work. Nevertheless,...
115
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Low-power design became crucial with the widespread use of the embedded systems, where a small battery has to last for a long period. The embedded processors need to efï¬...