3061 search results - page 420 / 613 » interactions 2010 |
146
click to vote
ENTCS
2007
15 years 6 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
177
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...