Sciweavers

4890 search results - page 416 / 978
» From system specifications to component behavioral models
Sort
View
VEE
2005
ACM
174views Virtualization» more  VEE 2005»
16 years 19 days ago
PDS: a virtual execution environment for software deployment
The Progressive Deployment System (PDS) is a virtual execution environment and infrastructure designed specifically for deploying software, or “assets”, on demand while enabli...
Bowen Alpern, Joshua S. Auerbach, Vasanth Bala, Th...
CHI
2008
ACM
16 years 7 months ago
Activity-based serendipitous recommendations with the Magitti mobile leisure guide
This paper presents a context-aware mobile recommender system, codenamed Magitti. Magitti is unique in that it infers user activity from context and patterns of user behavior and,...
Victoria Bellotti, James Bo Begole, Ed Huai-hsin C...
IJAOSE
2008
97views more  IJAOSE 2008»
15 years 7 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...
POPL
2008
ACM
16 years 7 months ago
Cryptographically sound implementations for typed information-flow security
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
Cédric Fournet, Tamara Rezk
IADIS
2004
15 years 8 months ago
Inca: An Intelligent Cognitive Agent-Based Framework for Adaptive and Interactive Learning
This paper presents the design principles, development and implementation of an e-learning framework, called Intelligent Cognitive Agents (InCA). The InCA framework is an ontology...
Liana Razmerita, Thierry Nabeth, Albert A. Angehrn...