1407 search results - page 179 / 282 » Cognition without content |
145
click to vote
ISSTA
2009
ACM
16 years 17 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
171
click to vote
JCDL
2009
ACM
16 years 17 days ago
2009
ACM
Due to temporary access restrictions, embargoed data cannot be refreshed to unlimited parties during the embargo time interval. A solution to mitigate the risk of data loss has be...
160
click to vote
CODES
2008
IEEE
16 years 15 days ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
173
click to vote
EDOC
2008
IEEE
16 years 15 days ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
172
click to vote
HICSS
2008
IEEE
16 years 15 days ago
2008
IEEE
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...