878 search results - page 50 / 176 » Interacting Abstract State Machines |
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
IEEESP
2008
14 years 9 months ago
2008
hardware, eliminating an abstraction layer and often improving efficiency as a result. Examples of type 1 systems include VMware ESX,3 Xen (www. xensource.com/xen/xen/nfamily/virtu...
VLC
2002
14 years 9 months ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Man-Machine Interaction (MMI) Systems that utilize multimodal information about users’ current emotional state are presently at the forefront of interest of the computer vision ...
ICCAD
1992
IEEE
15 years 1 months ago
1992
IEEE
High-level synthesis (HLS) requires more designer interaction to better meet the needs of experienced designers. However, attempts to create a highly interactive synthesis process...