Sciweavers

3030 search results - page 299 / 606
» A SOA-Based Architecture Framework
Sort
View
178
Voted
VLDB
1989
ACM
104views Database» more  VLDB 1989»
15 years 10 months ago
Gral: An Extensible Relational Database System for Geometric Applications
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
Ralf Hartmut Güting
FORMATS
2004
Springer
15 years 10 months ago
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
Bruno Dutertre, Maria Sorea
AMAST
2008
Springer
15 years 8 months ago
The Verification of the On-Chip COMA Cache Coherence Protocol
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
Thuy Duong Vu, Li Zhang, Chris R. Jesshope
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Perception-based systems for medical diagnosis
In this paper, intelligent perception-based systems are proposed in application to medical diagnosis problems. The systems are created by use of connectionist neurofuzzy architect...
Danuta Rutkowska
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 8 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl