Sciweavers

9507 search results - page 640 / 1902
» Time-based language models
Sort
View
PAMI
2011
14 years 10 months ago
Motion Field Estimation from Alternate Exposure Images
—Traditional optical flow algorithms rely on consecutive short-exposed images. In this work, we make use of an additional long-exposed image for motion field estimation. Long-e...
Anita Sellent, Martin Eisemann, Bastian Goldlü...
ER
2009
Springer
79views Database» more  ER 2009»
16 years 1 months ago
Modeling Domain Variability in Requirements Engineering with Contexts
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
Alexei Lapouchnian, John Mylopoulos
ER
2009
Springer
166views Database» more  ER 2009»
16 years 1 months ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone
AIIA
2007
Springer
16 years 1 months ago
Curricula Modeling and Checking
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
177
Voted
ASM
2008
ASM
15 years 9 months ago
Modelling Attacker's Knowledge for Cascade Cryptographic Protocols
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
Nazim Benassa