2700 search results - page 312 / 540 » The role of abstraction in software engineering |
161
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
152
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— The problem of calculating accurate dose distributions lies in the heart of modern radiation therapy for cancer treatment. Software implementations of dose calculation ...
185
click to vote
COMSWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
159
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
191
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...