1398 search results - page 246 / 280 » Ensuring Properties of Interaction Systems |
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...
KESAMSTA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
ECOWS
2007
Springer
15 years 4 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
113
click to vote
MOBICOM
2005
ACM
15 years 3 months ago
2005
ACM
Recent advances in wireless inter-vehicle communication systems enable the development of Vehicular Ad-Hoc Networks (VANET) and create significant opportunities for the deploymen...
ISADS
2003
IEEE
15 years 3 months ago
2003
IEEE
In many ubiquitous computing (ubicomp) applications, such as smart classrooms, hospitals, construction sites, stadiums, shopping malls, emergency services, law enforcement, conven...