317 search results - page 40 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
171
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...
198
Voted
CORR
2002
Springer
15 years 6 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
204
Voted
TCS
2008
15 years 6 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
174
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
181
click to vote
COORDINATION
2007
Springer
16 years 28 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...