3792 search results - page 531 / 759 » Techniques for Trusted Software Engineering |
164
click to vote
SEFM
2005
IEEE
16 years 7 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
181
click to vote
WOSP
2005
ACM
16 years 6 days ago
2005
ACM
Designers of distributed systems often rely on replicas for increased robustness, scalability, and performance. Replicated server architectures require some technique to select a ...
188
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
148
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
162
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...