1515 search results - page 132 / 303 » On the relation of aspects and monads |
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
ACSAC
1998
IEEE
14 years 2 months ago
1998
IEEE
The increasing complexity of cellular radio networks yields new demands concerning network security. Especially the task of detecting, repulsing and preventing abuse both by in- a...
DEXAW
1998
IEEE
14 years 2 months ago
1998
IEEE
The aspect of security needs more consideration in the area of architectures for multidatabase systems. Particularly, the authentication of users which is a main prerequisite for ...
ICRA
1998
IEEE
14 years 2 months ago
1998
IEEE
Parts orienting, the process of bringing parts in initially unknown orientations to a goal orientation, is an important aspect of automated assembly. Bowl feeders used in industry...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...