4719 search results - page 921 / 944 » Applications = Components GLoo |
119
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 5 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...
132
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
104
Voted
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
101
Voted
CASES
2001
ACM
15 years 5 months ago
2001
ACM
Today's digital signal processors (DSPs), unlike general-purpose processors, use a non-uniform addressing model in which the primary components of the memory system--the DRAM...
134
click to vote
CC
2001
Springer
15 years 5 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...