5227 search results - page 223 / 1046 » Enterprise modeling using class and instance models |
182
Voted
SRDS
2008
IEEE
15 years 11 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
188
Voted
SEMCO
2009
IEEE
16 years 3 days ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
122
Voted
PCM
2001
Springer
15 years 9 months ago
2001
Springer
It is very common that a user likes to collect many multimedia files of their interests from the web or other sources for his/her daily use, such as in emails, presentations, and t...
149
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
167
click to vote
AMFG
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new framework to represent and analyze dynamic facial motions using a decomposable generative model. In this paper, we consider facial expressions which lie on a one d...