Sciweavers

1882 search results - page 231 / 377
» A User Interaction Model for NFC Enabled Applications
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
AGENTCL
2003
Springer
14 years 2 months ago
Resolving Commitments among Autonomous Agents
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...
Ashok U. Mallya, Pinar Yolum, Munindar P. Singh
MM
2009
ACM
172views Multimedia» more  MM 2009»
14 years 3 months ago
A demonstration of MobiTree: progressive 3D tree models streaming on mobile clients
We demonstrate MobiTree, a system we built that allows progressive streaming and rendering of 3D tree models on a mobile phone. MobiTree enables user to retrieve not only typical ...
Andra Doran, Sebastien Mondet, Romulus Grigoras, G...
PERVASIVE
2006
Springer
13 years 8 months ago
Modeling Human Behavior from Simple Sensors in the Home
Pervasive sensors in the home have a variety of applications including energy minimization, activity monitoring for elders, and tutors for household tasks such as cooking. Many of ...
Ryan Aipperspach, Elliot Cohen, John F. Canny
ISCOPE
1999
Springer
14 years 1 months ago
SIFFEA: Scalable Integrated Framework for Finite Element Analysis
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
Xiangmin Jiao, Xiang-Yang Li, Xiaosong Ma