1788 search results - page 131 / 358 » Model Theory for Process Algebra |
162
click to vote
SSIRI
2010
15 years 4 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
153
click to vote
AMC
2006
15 years 6 months ago
2006
In this paper, the distribution of grazing animals around a resource point on a grassland was studied by using theories of stochastic process and differential equations. The resul...
141
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
192
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
144
click to vote
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...