Sciweavers

2473 search results - page 312 / 495
» Systems, Views and Models of UML
Sort
View
SIGOPSE
2000
ACM
15 years 11 months ago
Gaia: enabling active spaces
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
Manuel Román, Roy H. Campbell
EWSA
2005
Springer
16 years 17 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
COMPGEOM
1997
ACM
15 years 11 months ago
Algorithmic Tolerances and Semantics in Data Exchange
Within industrial contexts, a common view of the level of confidence needed in CAD data transfer processes may be expressed as “1 don’t mind if the [CAD data- tmnsfer] algorit...
Thomas J. Peters, Neil F. Stewart, David R. Fergus...
156
Voted
FTCS
1993
86views more  FTCS 1993»
15 years 8 months ago
Interval Availability Distribution Computation
Interval availability is a dependability measure defined by the fraction of time during which a system is in operation over a finite observation period. The computation of its d...
Gerardo Rubino, Bruno Sericola
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 7 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen