3828 search results - page 210 / 766 » Proof-Based System Engineering Using a Virtual System Model |
154
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
177
click to vote
CSMR
2006
IEEE
16 years 16 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
159
click to vote
VR
1999
IEEE
15 years 10 months ago
1999
IEEE
The ever-increasing power of computers and hardware rendering systems has, to date, primarily motivated the creation of visually rich and perceptually realistic virtual environmen...
202
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
161
click to vote
BIBM
2007
IEEE
16 years 25 days ago
2007
IEEE
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...