5843 search results - page 1048 / 1169 » Software Security in Practice |
134
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
151
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
133
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
151
click to vote
ESA
2006
Springer
15 years 8 months ago
2006
Springer
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
142
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...