3828 search results - page 3 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ESAW
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
CAL
2010
13 years 5 months ago
2010
Address translation often emerges as a critical performance bottleneck for virtualized systems and has recently been the impetus for hardware paging mechanisms. These mechanisms ap...
EXPERT
2007
13 years 7 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
IRI
2003
IEEE
14 years 28 days ago
2003
IEEE
Distributed collaboration over the Internet has become increasingly common in recent years, supported by various technologies such as virtual workspace systems. Often such collabo...
3DIM
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...