2498 search results - page 251 / 500 » A tool for materials exploration |
156
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
178
click to vote
AINA
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper explores a distributed ontology framework for tailoring ontologies in the Semantic Grid environment. The framework is divided into five main categories; Ontology Proce...
172
click to vote
HYBRID
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
157
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
146
click to vote
IFL
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...