Sciweavers

575 search results - page 41 / 115
» Transition systems for designing and reasoning about norms
Sort
View
CRYPTO
2011
Springer
191views Cryptology» more  CRYPTO 2011»
13 years 11 months ago
Analyzing Blockwise Lattice Algorithms Using Dynamical Systems
Strong lattice reduction is the key element for most attacks against lattice-based cryptosystems. Between the strongest but impractical HKZ reduction and the weak but fast LLL redu...
Guillaume Hanrot, Xavier Pujol, Damien Stehl&eacut...
PTS
2007
112views Hardware» more  PTS 2007»
15 years 25 days ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
SQJ
2008
116views more  SQJ 2008»
14 years 11 months ago
E-commerce system quality assessment using a model based on ISO 9126 and Belief Networks
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
Antonia Stefani, Michalis Nik Xenos
85
Voted
HCI
2009
14 years 9 months ago
The Five Commandments of Activity-Aware Ubiquitous Computing Applications
Recent work demonstrates the potential for extracting patterns from users' behavior as detected by sensors. Since there is currently no generalized framework for reasoning abo...
Nasim Mahmud, Jo Vermeulen, Kris Luyten, Karin Con...
TSP
2010
14 years 6 months ago
Sampling from a system-theoretic viewpoint part II: noncausal solutions
This paper puts to use concepts and tools introduced in Part I to address a wide spectrum of noncausal sampling and reconstruction problems. Particularly, we follow the systemtheor...
Gjerrit Meinsma, Leonid Mirkin