10848 search results - page 323 / 2170 » Programming in Biomolecular Computation |
181
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
161
click to vote
PERVASIVE
2004
Springer
16 years 3 days ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...
153
click to vote
ISIPTA
2003
IEEE
16 years 21 hour ago
2003
IEEE
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
161
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
179
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...