1796 search results - page 182 / 360 » An Approach to Compositional Model Checking |
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
INFSOF
2006
15 years 15 days ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
79
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
96
Voted
ENTCS
2007
15 years 14 days ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
119
click to vote
EICS
2010
ACM
15 years 5 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...