6197 search results - page 1066 / 1240 » Sandbridge Software Tools |
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
131
click to vote
FGCS
2006
15 years 6 months ago
2006
The research outlined in this paper marks an initial global cooperative effort between visualization and collaboration researchers to build a persistent virtual visualization faci...
194
click to vote
IDA
2006
Springer
15 years 6 months ago
2006
Springer
Exploring the vast number of possible feature interactions in domains such as gene expression microarray data is an onerous task. We describe Backward-Chaining Rule Induction (BCR...
198
click to vote
IJVR
2006
15 years 6 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
163
click to vote
IJWIS
2006
15 years 6 months ago
2006
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...