3828 search results - page 584 / 766 » Proof-Based System Engineering Using a Virtual System Model |
172
click to vote
ICST
2009
IEEE
16 years 29 days ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
167
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
191
click to vote
SOCO
2007
Springer
16 years 12 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
167
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
184
click to vote
ERCIMDL
2004
Springer
15 years 11 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...