Sciweavers

11436 search results - page 242 / 2288
» Modeling Real Reasoning
Sort
View
117
Voted
IIE
2007
75views more  IIE 2007»
15 years 3 months ago
Program and Evaluation Planning Light: Planning in the Real World
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
Justus J. Randolph, Pasi J. Eronen
130
Voted
RTCSA
2003
IEEE
15 years 8 months ago
Zero-Stop Authentication: Sensor-Based Real-Time Authentication System
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
Kenta Matsumiya, Soko Aoki, Masana Murase, Hideyuk...
102
Voted
RTAS
2006
IEEE
15 years 9 months ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
RTAS
2005
IEEE
15 years 9 months ago
Towards Efficient Use of Shared Communication Media in the Timed Model
Guido Menkhaus, Michael Holzmann, Sebastian Fischm...
126
Voted
COORDINATION
2008
Springer
15 years 5 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone