5630 search results - page 1074 / 1126 » Computability in Specification |
141
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
144
click to vote
ASSETS
2008
ACM
15 years 6 months ago
2008
ACM
Software developers, designers and researchers have been looking to technology for solutions to help and educate people with autism for over two decades. There are many examples o...
141
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...
144
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
130
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...