4341 search results - page 41 / 869 » Quantitative Model checking |
MA
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
ETRA
2010
ACM
13 years 10 months ago
2010
ACM
This paper presents a set of qualitative and quantitative scores designed to assess performance of any eye movement classification algorithm. The scores are designed to provide a ...
COGSR
2011
13 years 3 months ago
2011
Fatigue has been implicated in an alarming number of motor vehicle accidents, costing billions of dollars and thousands of lives. Unfortunately, the ability to predict performance...
MA
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we present practical experiences gathered from the employment of two popular Java-based mobile-agent platforms, IBM's Aglets and Mitsubishi's Concordia. We...
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper we extend a model-based approach to security management with concepts and methods that provide a possibility for quantitative assessments. For this purpose we intr...