2722 search results - page 311 / 545 » The Model Evolution Calculus |
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
119
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
115
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
137
Voted
PODC
1999
ACM
15 years 7 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
127
Voted
ECIS
2004
15 years 4 months ago
2004
The term business model has been used loosely several times for describing a company's strategies, revenue model, processes and overall business logic both by researchers and...