1981 search results - page 297 / 397 » Model-Checking Hierarchical Structures |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Amidst constant innovation in information and communication technologies, a new pattern of work is emerging. Hierarchical authority structures are giving way to greater decision-m...
ICDCS
2007
IEEE
14 years 3 months ago
2007
IEEE
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Replication and caching have been deployed widely in current P2P systems. In update-allowed P2P systems, a consistency maintenance mechanism is strongly demanded. Several solution...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper we will present the architecture of the planar biped robot “RunBot”. It has been developed on the basis of three hierarchical levels: Biomechanical, Local and...