3828 search results - page 251 / 766 » Proof-Based System Engineering Using a Virtual System Model |
185
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
199
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
166
click to vote
SEKE
1993
Springer
15 years 10 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
195
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
167
click to vote
SMA
2006
ACM
16 years 14 days ago
2006
ACM
We present an efficient colon flattening algorithm using conformal structure, which is angle-preserving and minimizes the global distortion. Moreover, our algorithm is general w...