91 search results - page 13 / 19 » Advice to Authors of Extended Abstracts |
EUROMED
2010
14 years 10 months ago
2010
Abstract. Cultural Heritage Sites are in danger of being destroyed due to several factors, such as earthquakes, uncontrolled urbanization and air pollution. The latest, whether it ...
OTM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
103
click to vote
AAAI
2006
15 years 1 months ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
ASIACRYPT
2007
Springer
15 years 6 months ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...
103
Voted
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...