2520 search results - page 328 / 504 » Model-checking behavioral programs |
124
click to vote
DMSN
2004
ACM
15 years 7 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
130
click to vote
WSC
1994
15 years 3 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...
210
Voted
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 Mat...
242
Voted
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...
186
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...