4480 search results - page 228 / 896 » Prototyping Completion with Constraints Using Computational ... |
188
click to vote
TCAD
1998
15 years 6 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
192
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
177
click to vote
PET
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In a Ubiquitous Computing environment, sensors are actively collecting data, much of which can be very sensitive. Data will often be streaming at high rates (video and au...
167
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a decentralized task allocation method that can handle allocation of tasks with time and precedence constraints in a multi-agent setting where not all informat...
173
click to vote
RTCSA
2005
IEEE
16 years 2 days ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...