3435 search results - page 268 / 687 » Aspect Model Unweaving |
204
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
170
click to vote
ICCSA
2007
Springer
16 years 23 days ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
196
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
159
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
165
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....