2498 search results - page 262 / 500 » A tool for materials exploration |
157
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
163
click to vote
IEAAIE
2004
Springer
16 years 2 days ago
2004
Springer
Facilitated by the achievements of various data mining techniques, both academic research and industrial applications are using data mining tools to explore knowledge from various ...
201
click to vote
SPIN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
185
click to vote
ANSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Bluetooth is an emerging technology in wireless applications, and many related issues are yet to be explored both in academia and industry. Because of the complexity and the dynam...
178
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...