2357 search results - page 254 / 472 » Computing Refactorings of Behavior Models |
146
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
136
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
136
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
148
click to vote
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
116
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
The Sharable Content Object Reference Model (SCORM) provides some important representation for distance learning content and the learning behavior. In general, SCORM-Compliant lea...