4164 search results - page 549 / 833 » Timing model reduction for hierarchical timing analysis |
160
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
191
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
165
click to vote
UAI
2000
15 years 8 months ago
2000
Many intelligent user interfaces employ application and user models to determine the user's preferences, goals and likely future actions. Such models require application anal...
236
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
203
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...