745 search results - page 63 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
Time on task is an important predictor for how much students learn. However, students must be focused on their learning for the time invested to be productive. Unfortunately, stude...
TITS
2008
2008
Fuzzy Control Model Optimization for Behavior-Consistent Traffic Routing Under Information Provision
13 years 7 months ago
This paper presents an H-infinity filtering approach to optimize a fuzzy control model used to determine behaviorconsistent (BC) information-based control strategies to improve the...
SAC
2003
ACM
14 years 27 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...