3828 search results - page 532 / 766 » Proof-Based System Engineering Using a Virtual System Model |
183
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
160
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
209
click to vote
QEST
2007
IEEE
16 years 27 days ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
189
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a new system for acquiring complete 3D surface models using a single structured light projector, a pair of planar mirrors, and one or more synchronized cameras...
143
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Creativity is indispensable for more innovative interactive system development. This tutorial is relevant to anyone involved in large projects that are exploiting new technologies...