2407 search results - page 396 / 482 » A Tool for Abstraction in Model Checking |
114
click to vote
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
101
click to vote
EAGC
2003
Springer
15 years 3 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
ANSOFT
2002
14 years 9 months ago
2002
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
DAC
2001
ACM
15 years 10 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Collecting grasp data for learning and benchmarking purposes is very expensive. It would be helpful to have a standard database of graspable objects, along with a set o...