3828 search results - page 35 / 766 » Proof-Based System Engineering Using a Virtual System Model |
113
Voted
ENTCS
2006
15 years 2 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
125
Voted
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— In this paper, we present a framework that enables an operator to haptically and visually interact with a dynamic simulation subject to virtual holonomic constraints. T...
145
click to vote
BMCBI
2010
15 years 2 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
107
Voted
CMG
2006
15 years 3 months ago
2006
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
113
Voted
IEEESCC
2006
IEEE
15 years 8 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...