2838 search results - page 551 / 568 » Verifying Controlled Components |
WACC
1999
ACM
13 years 12 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
RTAS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
AGENTS
1998
Springer
13 years 12 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
SIGCOMM
1998
ACM
13 years 12 months ago
1998
ACM
Recent studies provide evidence that Quality ofService QoS routing can provide increased network utilization compared to routing that is not sensitive to QoS requirements of tra...
SIGOPSE
1998
ACM
13 years 12 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...