306 search results - page 29 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
JTAER
2008
13 years 7 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
PVLDB
2008
13 years 7 months ago
2008
Many applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. The key co...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
MDM
2010
Springer
14 years 14 days ago
2010
Springer
—The support of distributed atomic transactions in mobile ad-hoc networks (MANET) is a key requirement for many mobile application scenarios. Atomicity is a fundamental property ...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recent years have seen growing interest in mobile augmented reality. The ability to retrieve information and display it as virtual content overlaid on top of an image of the real ...