1788 search results - page 134 / 358 » Model Theory for Process Algebra |
83
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
105
Voted
COMGEO
2007
ACM
15 years 25 days ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
108
click to vote
ISPDC
2005
IEEE
15 years 6 months ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
WSC
1997
15 years 2 months ago
1997
The paper is devoted to a brief review of a mathematical theory for the branching variance-reduction technique. The branching technique is an extension of von Neumann’s splittin...
102
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...