5630 search results - page 99 / 1126 » Computability in Specification |
265
click to vote
Book
"The goal of this book is to teach you to think like a computer scientist. I like the way computer scientists think because they combine some of the best features of Mathemati...
160
Voted
PODC
1994
ACM
15 years 8 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
109
click to vote
SIGUCCS
2003
ACM
15 years 9 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
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
This article empirically examines the awareness, concern, and actions of home-based small business owners regarding Internet-based computer security risks. A scientific, Internet-...
154
click to vote
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...