2776 search results - page 136 / 556 » System-Level Abstraction Semantics |
171
click to vote
WWW
2008
ACM
15 years 4 months ago
2008
ACM
Automated techniques and tools are required to effectively locate services that fulfill a given user request in a mobility context. To this purpose, the use of semantic description...
157
click to vote
IJHPCA
2002
15 years 4 months ago
2002
Distributed cognition of dynamic processes is commonly observed in mobile groups of animates like schools of fish, hunting lions, or in human teams for sports or military maneuvers...
118
click to vote
GEOINFORMATICA
2010
15 years 3 months ago
2010
Abstract The modeling of a landscape environment is a cognitive activity that requires appropriate spatial representations. The research presented in this paper introduces a struct...
122
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In the Internet of Things several objects with network capabilities are connected over a self-configured local network with other objects to interact and share knowledge...
135
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...