12981 search results - page 2285 / 2597 » Model Checking (Abstract) |
172
Voted
TBILLC
2005
Springer
15 years 10 months 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...
118
Voted
UML
2005
Springer
15 years 10 months 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...
152
Voted
VLSM
2005
Springer
15 years 10 months 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...
142
click to vote
WAC
2005
Springer
15 years 10 months 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...
125
click to vote
WDAG
2005
Springer
15 years 10 months 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...