264 search results - page 51 / 53 » Time Constraint Patterns for Event B Development |
IPPS
2005
IEEE
13 years 11 months ago
2005
IEEE
Secret sharing algorithms have been used for intrusion tolerance, which ensure the confidentiality, integrity and availability of critical information. However, dynamically changi...
ICCS
2003
Springer
13 years 11 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
TASLP
2010
13 years 15 days ago
2010
Knowing the orientation of a talker in the focal area of a large-aperture microphone array enables the development of better beamforming algorithms (to obtain higher-quality speech...
IEEEPACT
2008
IEEE
14 years 6 days ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
SIGDOC
2005
ACM
13 years 11 months ago
2005
ACM
Theoretical and technological progress has revived the interest in the design of services for the support of co-located human-human communication and collaboration, witnessing the...