4166 search results - page 610 / 834 » A modular module system |
187
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
With the emergence of modularized componentbased electronic services, such as Web Services and semantically tagged services, Individual Service Provisioning, wherein any user can ...
159
click to vote
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...
198
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
160
click to vote
CPE
2003
Springer
15 years 11 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
174
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...