728 search results - page 136 / 146 » A Logical View of Choreography |
161
Voted
ICNP
2009
IEEE
16 years 14 days ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
174
click to vote
WOLLIC
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
169
click to vote
DEXA
2009
Springer
16 years 12 days ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
179
click to vote
DIS
2009
Springer
16 years 12 days ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
140
click to vote
IMC
2009
ACM
16 years 10 days ago
2009
ACM
Internet exchange points (IXPs) are an important ingredient of the Internet AS-level ecosystem—a logical fabric of the Internet made up of about 30,000 ASes and their mutual bus...