Sciweavers

1559 search results - page 79 / 312
» The Semantics of Future and Its Use in Program Optimizations
Sort
View
MOBISYS
2006
ACM
15 years 9 months ago
Context-aware interactive content adaptation
Automatic adaptation of content for mobile devices is a challenging problem because optimal adaptation often depends on the usage semantics of content, as well as the context of u...
Iqbal Mohomed, Jim Chengming Cai, Sina Chavoshi, E...
ICLP
2005
Springer
15 years 3 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
CORR
2009
Springer
100views Education» more  CORR 2009»
14 years 7 months ago
Programming Idioms for Transactional Events
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
Matthew Kehrt, Laura Effinger-Dean, Michael Schmit...
POPL
2005
ACM
15 years 10 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela
IJCAI
2007
14 years 11 months ago
Team Programming in Golog under Partial Observability
In this paper, we present the agent programming language TEAMGOLOG, which is a novel approach to programming a team of cooperative agents under partial observability. Every agent ...
Alessandro Farinelli, Alberto Finzi, Thomas Lukasi...