1141 search results - page 128 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
159
click to vote
FIW
2007
15 years 7 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
161
click to vote
SOQUA
2007
15 years 7 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...
205
click to vote
SIGCOMM
2006
ACM
16 years 11 days ago
2006
ACM
The success of Skype has inspired a generation of peer-topeer-based solutions for satisfactory real-time multimedia services over the Internet. However, fundamental questions, suc...
170
click to vote
TAMODIA
2007
15 years 7 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
189
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...