4346 search results - page 739 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
148
click to vote
CIIA
2009
15 years 4 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
120
Voted
IJRR
2008
15 years 3 months ago
2008
We present a novel locomotion strategy called legless locomotion that allows a round-bodied legged robot to locomote approximately when it is high-centered. Typically, a high-cent...
148
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
125
Voted
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
156
Voted
W2GIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...