1407 search results - page 179 / 282 » Cognition without content |
121
Voted
ISSTA
2009
ACM
15 years 10 months 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...
146
Voted
JCDL
2009
ACM
15 years 10 months 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...
131
Voted
CODES
2008
IEEE
15 years 10 months 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...
142
Voted
EDOC
2008
IEEE
15 years 10 months 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...
140
Voted
HICSS
2008
IEEE
15 years 10 months 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...