7121 search results - page 456 / 1425 » Functions as Session-Typed Processes |
182
click to vote
SIGSAND
2008
15 years 8 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
188
click to vote
SCHOLARPEDIA
2010
15 years 5 months ago
2010
—Studies of attention and working memory address the fundamental limits in our ability to encode and maintain behaviorally relevant information, processes that are critical for g...
216
click to vote
JOCN
2010
15 years 1 months ago
2010
Studies in semantics traditionally focus on knowledge of objects. By contrast, less is known about how objects relate to each other. In an fMRI study, we tested the hypothesis tha...
203
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
217
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present an approach to the synthesis of fault-tolerant schedules for embedded applications with soft and hard real-time constraints. We are interested to guarante...