700 search results - page 103 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
Data mining has been a popular research area for more than a decade due to its vast spectrum of applications. The power of data mining tools to extract hidden information that can...
LAWEB
2009
IEEE
15 years 4 months ago
2009
IEEE
—Computer science academics and professionals typically consider their contributions in terms of the algorithms, applications, and techniques that they develop. Yet equally impor...
ICPP
2002
IEEE
15 years 2 months ago
2002
IEEE
The development and implementation of new network protocols and applications need accurate, scalable, reconfigurable, and inexpensive tools for debugging, testing, performance tun...
EUROPAR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Computer mobility allows people to use computers in varied and changing environments. This variability forces applications to adapt thus requiring awareness of the comput...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...