Sciweavers

120 search results - page 18 / 24
» Generative type abstraction and type-level computation
Sort
View
CSREASAM
2010
13 years 4 months ago
Keyloggers in Cybersecurity Education
Abstract-- Keylogger programs attempt to retrieve confidential information by covertly capturing user input via keystroke monitoring and then relaying this information to others, o...
Christopher Wood, Rajendra Raj
CAISE
2010
Springer
13 years 4 months ago
Towards Automated Inconsistency Handling in Design Models
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
Marcos Aurélio Almeida da Silva, Alix Mouge...
PERCOM
2009
ACM
14 years 2 months ago
Persistent Content-based Information Dissemination in Hybrid Vehicular Networks
Abstract—Content-based information dissemination has a potential number of applications in vehicular networking, including advertising, traffic and parking notifications and em...
Ilias Leontiadis, Paolo Costa, Cecilia Mascolo
MOBIDE
2005
ACM
14 years 29 days ago
A general methodology for context-aware data access
In this paper, we present an extensible approach to the adaptation of Web information delivery according to different and possibly heterogeneous contexts. The approach is based o...
Roberto De Virgilio, Riccardo Torlone
AIIDE
2008
13 years 9 months ago
Integrating Story-Centric and Character-Centric Processes for Authoring Interactive Drama
Computer aided interactive drama has been widely applied for entertainment and pedagogy. Most existing approaches for authoring interactive drama use either story-centric or chara...
Mei Si, Stacy C. Marsella, Mark O. Riedl