4636 search results - page 543 / 928 » Modelling and Validation with VipTool |
202
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
174
click to vote
ISLPED
1998
ACM
15 years 11 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...
169
click to vote
ANSS
1997
IEEE
15 years 11 months ago
1997
IEEE
HPAM Sim is an execution-driven simulator of heterogeneous machines. HPAM Sim allows the simulation of target machines consisting of different processors and interconnection netwo...
165
click to vote
IDMS
1998
Springer
15 years 11 months ago
1998
Springer
This position paper advocates a possible bridging of multiple heterogeneous formats and interfaces for hypermedia data and metadata. Rather than one more text, bit-stream or proced...
189
click to vote
TARK
1998
Springer
15 years 11 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...