3255 search results - page 428 / 651 » Combination of Abstractions in the ASTR |
164
Voted
CONCUR
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
149
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
172
click to vote
ICICS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper analyzes the problem of secure document management and distribution in an open network environment. Reader and author authentication, document integrity, origi...
122
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: When planning teams for projects with specific goals, employees of a company have to group together so well, that all necessary knowledge for conquering the project’s ...
175
click to vote
ACIVS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A novel approach is presented in this paper to improve images which are altered by atmospheric turbulence. Two new algorithms are presented based on two combinations of a...