11168 search results - page 77 / 2234 » Abstract State Processes |
125
Voted
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
100
click to vote
WISES
2003
15 years 4 months ago
2003
Abstract — This paper presents the design and implementation of a system applicable for autonomous repair welding on huge forming tools, often realized as blacksmith’s swages. ...
NLDB
2005
Springer
15 years 8 months ago
2005
Springer
87
Voted
ICIP
2002
IEEE
15 years 7 months ago
2002
IEEE
131
click to vote
TABLEAUX
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...