Sciweavers

7064 search results - page 173 / 1413
» From States to Histories
Sort
View
ICWE
2011
Springer
14 years 10 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
CSFW
2011
IEEE
14 years 6 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
PAM
2012
Springer
14 years 2 months ago
SyFi: A Systematic Approach for Estimating Stateful Firewall Performance
Due to the lack of a standardized methodology for reporting firewall performance, current datasheets are designed for marketing and provide inflated throughput measurements obtai...
Yordanos Beyene, Michalis Faloutsos, Harsha V. Mad...
CICLING
2009
Springer
16 years 7 months ago
Guessers for Finite-State Transducer Lexicons
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
Krister Lindén
ICC
2009
IEEE
104views Communications» more  ICC 2009»
16 years 1 months ago
Joint Precoding for MIMO-Relay Systems with Partial Channel State Information
—In this paper, we propose a joint precoding scheme for both the base station (BS) and relay station (RS) to increase the ergodic capacity of downlink non-regenerative multiple-i...
Hui Won Je, Dong Hyun Kim, Kwang Bok Lee