1104 search results - page 18 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
CAI
2006
Springer
13 years 7 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
GG
2004
Springer
14 years 28 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
BMCBI
2008
13 years 7 months ago
2008
Background: The variety of DNA microarray formats and datasets presently available offers an unprecedented opportunity to perform insightful comparisons of heterogeneous data. Cro...
TCAD
2010
13 years 2 months ago
2010
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...
ENC
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...