6306 search results - page 1086 / 1262 » Space, Time, and the Use of Language |
156
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
183
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
136
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
177
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
178
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...