1162 search results - page 164 / 233 » Specifying Reusable Components |
ISSS
2000
IEEE
15 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
CCS
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
HPDC
1999
IEEE
15 years 2 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
COMPSAC
1997
IEEE
15 years 2 months ago
1997
IEEE
Retrieving images by content and forming visual queries are important functionality of an image database system. Using textual descriptions to specify queries on image content is ...
WADT
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...