498 search results - page 58 / 100 » Model Validation using Automatically Generated Requirements-... |
ICDS
2009
IEEE
14 years 2 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
HIPC
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ï¬...
GAMEON
2009
13 years 5 months ago
2009
This research attempts to measure personality by monitoring behaviour in a virtual environment. A computer game was created to measure a trait of the Five Factor Model of personal...
DCOSS
2011
Springer
12 years 7 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...