554 search results - page 45 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
120
click to vote
ENTCS
2011
14 years 9 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
118
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
117
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
128
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
104
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...