1329 search results - page 93 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
ICMI
2004
Springer
14 years 1 months ago
2004
Springer
Mobile usage patterns often entail high and fluctuating levels of difficulty as well as dual tasking. One major theme explored in this research is whether a flexible multimodal in...
ROBOCUP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Segway Human Transport (HT) is a one person dynamically selfbalancing transportation vehicle. The Segway Robot Mobility Platform (RMP) is a modification of the HT cap...
ACISICIS
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--Although temporal context may significantly affect the popularity of items and user preference over items, traditional information filtering techniques such as recommende...