Sciweavers

13489 search results - page 222 / 2698
» Self-migration of operating systems
Sort
View
FUZZIEEE
2007
IEEE
16 years 29 days ago
Optimised Generalised Type-2 Join and Meet Operations
— The inferencing stage of a type-2 fuzzy inferencing system is driven by join and meet operations. As conventionally implemented these algorithms are computationally complex. Th...
Sarah Greenfield, Robert John
USS
2008
15 years 9 months ago
You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems
In light of the systemic vulnerabilities uncovered by recent reviews of deployed e-voting systems, the surest way to secure the voting process would be to scrap the existing syste...
J. Alex Halderman, Eric Rescorla, Hovav Shacham, D...
CONCUR
2008
Springer
15 years 8 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis
HICSS
2006
IEEE
99views Biometrics» more  HICSS 2006»
16 years 20 days ago
IT Business Alignment and IT Usage in Operational Processes: A Retail Banking Case
What is the impact of operational (i.e. nonstrategic) IT business alignment on IT usage? Using case studies in three branches of a retail bank employing identical information syst...
Heinz-Theo Wagner, Daniel Beimborn, Jochen Franke,...
IDEAS
2003
IEEE
73views Database» more  IDEAS 2003»
15 years 12 months ago
Operations on Metamodels in the Context of a UML-Based Metamodeling Architecture
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
Marie-Noëlle Terrasse, George Becker, Marinet...