12981 search results - page 2285 / 2597 » Model Checking (Abstract) |
212
click to vote
TBILLC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Applying multi-agent systems in real world scenarios requires several essential research questions to be answered. Agents have to perceive their environment in order to t...
148
click to vote
UML
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
197
click to vote
VLSM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper, we propose a novel technique to address motion estimation and tracking. Such technique represents the motion field using a regular grid of thin-plate spli...
181
click to vote
WAC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Internet is facing ever-increasing complexity in the construction, configuration and management of heterogeneous networks. New communication paradigms are underminin...
167
Voted
WDAG
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...