1114 search results - page 162 / 223 » An Architecture for Peer-to-peer Reasoning |
164
click to vote
PPDP
2009
Springer
16 years 26 days ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
136
click to vote
KCAP
2009
ACM
16 years 25 days ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
159
click to vote
APSCC
2008
IEEE
16 years 25 days ago
2008
IEEE
Cloud computing is an emerging computing paradigm. It aims to share data, calculations, and services transparently among users of a massive grid. Although the industry has started...
157
click to vote
HICSS
2008
IEEE
16 years 24 days ago
2008
IEEE
Enterprise architecting is becoming critical for most modern organizations whose competitive strategies are tightly linked to the underlying information technology (IT) infrastruc...
167
click to vote
ICPP
2008
IEEE
16 years 23 days ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...