11325 search results - page 313 / 2265 » Active Model Selection |
131
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
—On-die capacitances interact with the inductance and resistance of the power distribution network to supply electrical charge. A distributed model is generally required to analy...
134
Voted
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
159
click to vote
COORDINATION
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
131
click to vote
ISLPED
1998
ACM
15 years 9 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
152
Voted
ENTCS
2007
15 years 5 months ago
2007
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...