359 search results - page 36 / 72 » What to Do About Microsoft |
184
click to vote
IUI
2005
ACM
15 years 12 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
161
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
175
click to vote
PRICAI
2000
Springer
15 years 9 months ago
2000
Springer
It is possible to define conversation policies, such as communication or dialogue protocols, that are based strictly on what messages and, respectively, what performatives may foll...
186
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
169
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...