823 search results - page 12 / 165 » Model replication: transformations to address model scalabil... |
ECAL
2007
Springer
15 years 3 months ago
2007
Springer
It is well known that the evolution of cooperative behaviour is dependant upon certain environmental conditions. One such condition that has been extensively studied is the use of ...
108
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
75
Voted
CCGRID
2007
IEEE
15 years 4 months ago
2007
IEEE
: Existing Content Delivery Networks (CDNs) exhibit the nature of closed delivery networks which do not cooperate with other CDNs and in practice, islands of CDNs are formed. The l...
82
Voted
FMCO
2009
Springer
14 years 7 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...