1141 search results - page 118 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
141
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Design, control, and performance of a ball-throwing robot are examined in this paper. The objective of this project is to provide an interactive ball-throwing robotic arm for illu...
154
click to vote
CAISE
2007
Springer
16 years 18 days ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
164
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
155
click to vote
SIGSOFT
2007
ACM
2007
ACM
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
16 years 7 months ago
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
182
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...