3921 search results - page 318 / 785 » Transforming Models with ATL |
212
click to vote
ICAC
2009
IEEE
16 years 2 months ago
2009
IEEE
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only param...
186
click to vote
CAISE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
222
Voted
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
216
Voted
DNA
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
186
click to vote
SAS
2001
Springer
15 years 12 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...