Sciweavers

1065 search results - page 25 / 213
» Droidel: a general approach to Android framework modeling
Sort
View
ICAIL
2007
ACM
15 years 1 months ago
How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
Luca Compagna, Paul El Khoury, Fabio Massacci, Res...
71
Voted
TSMC
2010
14 years 4 months ago
Interaction Modeling and Prediction in Smart Spaces: A Bio-Inspired Approach Based on Autobiographical Memory
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...
Alessio Dore, Andrea F. Cattoni, Carlo S. Regazzon...
SIGMOD
2007
ACM
149views Database» more  SIGMOD 2007»
15 years 9 months ago
A data-oriented survey of context models
Context-aware systems are pervading everyday life, therefore context modeling is becoming a relevant issue and an expanding research field. This survey has the goal to provide a c...
Cristiana Bolchini, Carlo Curino, Elisa Quintarell...
ACL
2006
14 years 11 months ago
Exploring the Potential of Intractable Parsers
We revisit the idea of history-based parsing, and present a history-based parsing framework that strives to be simple, general, and flexible. We also provide a decoder for this pr...
Mark Hopkins, Jonas Kuhn
ATAL
2008
Springer
14 years 11 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...