Sciweavers

1129 search results - page 164 / 226
» Interface-Centric Architecture Descriptions
Sort
View
SAINT
2003
IEEE
14 years 3 months ago
Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony
The Call Processing Language (CPL in short, RFC2824) is an XML-based language, which provides a flexible mean to create end-user services in the Internet Telephony (VoIP). Howeve...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...
CASES
2003
ACM
14 years 3 months ago
AES and the cryptonite crypto processor
CRYPTONITE is a programmable processor tailored to the needs of crypto algorithms. The design of CRYPTONITE was based on an in-depth application analysis in which standard crypto ...
Dino Oliva, Rainer Buchty, Nevin Heintze
SIGMETRICS
2003
ACM
115views Hardware» more  SIGMETRICS 2003»
14 years 3 months ago
Dynamic resource allocation for shared data centers using online measurements
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
Abhishek Chandra, Weibo Gong, Prashant J. Shenoy
SIGSOFT
2003
ACM
14 years 3 months ago
Fluent model checking for event-based systems
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
Dimitra Giannakopoulou, Jeff Magee
VRST
2003
ACM
14 years 3 months ago
Alternative reality: a new platform for virtual reality art
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mika...