13271 search results - page 243 / 2655 » Computers, Programming, and People |
191
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
150
click to vote
NORDICHI
2006
ACM
16 years 15 days ago
2006
ACM
Talking during the course of a television program is
176
click to vote
DISCO
1992
15 years 10 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
139
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Each summer, Academic and Research Computing (ARC) produces a guide for Mobile Computing Program participants describing the specifics of the selected laptop computer and
169
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...