1407 search results - page 83 / 282 » Using Use Cases in Executable Z |
134
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
133
click to vote
WWIC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
165
click to vote
PODS
1991
ACM
15 years 7 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
149
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
141
click to vote
ICPPW
2007
IEEE
15 years 10 months ago
2007
IEEE
Obtaining location information by localization schemes for sensor nodes makes applications of wireless sensor networks (WSNs) more meaningful. Most of localization schemes only us...