478 search results - page 43 / 96 » Computational thinking |
123
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
117
click to vote
SIGMOD
2008
ACM
15 years 25 days ago
2008
ACM
I knew Jim Gray as a colleague, a friend and an employee. He created the first Microsoft Research group outside of our initial research lab in Redmond, WA. Jim's impact on in...
110
click to vote
LOGCOM
2007
15 years 1 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
HCI
2007
15 years 2 months ago
2007
This paper presents a “persistent chat” extension to the ePresence Interactive Media webcasting infrastructure to support real-time commenting on and discussing of issues that ...
103
click to vote
FLAIRS
2004
15 years 2 months ago
2004
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...