3828 search results - page 110 / 766 » Proof-Based System Engineering Using a Virtual System Model |
147
click to vote
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
160
Voted
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
136
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a method for dynamic security domain scaling on SMPs that offers both highly scalable performance and high security for future high-end embedded systems. Its most impor...
138
click to vote
ICSM
1999
IEEE
15 years 9 months ago
1999
IEEE
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
143
click to vote
CAD
2004
Springer
15 years 4 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...