1179 search results - page 220 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Many critical elements for statically stable walking for legged robots have been known for a long time, including stability criteria based on support polygons, good foothold se...
ADBIS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
EDBT
2010
ACM
15 years 25 days ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
117
click to vote
SPRINGSIM
2007
14 years 10 months ago
2007
— Stochastic activity networks (SANs) are a widely used formalism for describing complex systems that have random behavior. Sophisticated software tools exist for the modeling an...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...