Sciweavers

3119 search results - page 91 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
NSDI
2004
14 years 11 months ago
The Emergence of Networking Abstractions and Techniques in TinyOS
gence of Networking Abstractions and Techniques in TinyOS Philip Levis , Sam Madden , David Gay , Joseph Polastre , Robert Szewczyk , Alec Woo , Eric Brewer and David Culler EECS ...
Philip Levis, Samuel Madden, David Gay, Joseph Pol...
AIEDAM
2000
80views more  AIEDAM 2000»
14 years 9 months ago
Conceptual design and analysis by sketching
The ability of a CAD system to perceive a three-dimensional model depicted in a single freehand sketch presents the practical possibility of bringing numerous established analysis...
Hod Lipson, Moshe Shpitalni
META
1992
15 years 2 months ago
Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs
ract Interpretation of Logic Programs Maurice Bruynooghe and Gerda :Ianssens Department of Computer Science, Katholleke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, B...
Maurice Bruynooghe, Gerda Janssens
DAC
2007
ACM
15 years 11 months ago
Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
Tsung-Ching Huang, Huai-Yuan Tseng, Chen-Pang Kung...
ROMAN
2007
IEEE
134views Robotics» more  ROMAN 2007»
15 years 4 months ago
Design and Analysis of a New Six-DOF Haptic Device for Dental Training
—This paper presents a new six DOF haptic device for dental surgery training system, which can provide 6 dimensional virtual force and torque. The proposed haptic device is based...
Yonggang Cao, Yuru Zhang, Yunzhong Ma, Dangxiao Wa...