647 search results - page 115 / 130 » Collage, composites, construction |
TSE
2008
14 years 9 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
RCC
2000
14 years 9 months ago
2000
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
ISCI
1998
14 years 9 months ago
1998
F TP (Fuzzy Template Predicate) is proposed as a template to incorporate concept-based match into fuzzy production languages. A thesaurus augmented in F TP supports the conceptbas...