14360 search results - page 182 / 2872 » Time Modeling in MARTE |
IS
2011
13 years 5 months ago
2011
Abstract. Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable various types of model-based analysis. This ...
WSC
2000
13 years 11 months ago
2000
Simulation models are often not used to their full potential in the decision-making process. The default simulation strategy of simple serial replication of fixed length runs mean...
MEMOCODE
2006
IEEE
14 years 4 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
RTCSA
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
APCCM
2006
13 years 11 months ago
2006
Data Warehouses (DWs) use an omnipresent time dimension for keeping track of changes in measure values. However, this dimension cannot be used to model changes in other dimensions...