977 search results - page 105 / 196 » DRIFT: A Framework for Ontology-based Design Support Systems |
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
The performance features of MEMS transducers allow the development of a new class of small, low-power sensor microsystems which utilize a suite of sensors to support a wide range ...
ISORC
1999
IEEE
14 years 14 days ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
CLUSTER
2000
IEEE
14 years 18 days ago
2000
IEEE
The importance of large-scale electrical business processing is increasing today as recent Internet technologies build on the basic infrastructure. Simply integrating existing tec...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...