5243 search results - page 851 / 1049 » Reasoning About Strategies |
159
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
189
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
148
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
136
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
435
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...