Sciweavers

52 search results - page 3 / 11
» er 2009
Sort
View
ER
2009
Springer
110views Database» more  ER 2009»
14 years 25 days ago
Formalizing Linguistic Conventions for Conceptual Models
Jörg Becker, Patrick Delfmann, Sebastian Herw...
ER
2009
Springer
126views Database» more  ER 2009»
14 years 25 days ago
A Frame Manipulation Algebra for ER Logical Stage Modelling
Antonio L. Furtado, Marco A. Casanova, Karin Kooga...
IGARSS
2009
13 years 4 months ago
On the Ability of the ERS Scatterometer to Detect Vegetation Properties
The ability of the active microwave remote sensing to complement existing optical vegetation indices has been explored by variety of studies [1-4]. To demonstrate these complement...
Marcela Doubkova, Vahid Naeimi, Wolfgang Wagner, G...
CAV
2009
Springer
215views Hardware» more  CAV 2009»
14 years 6 months ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong
SERSCISA
2009
Springer
14 years 24 days ago
ATTENTION: ATTackEr Traceback Using MAC Layer AbNormality DetecTION
Denial-of-Service (DoS) and Distributed DoS (DDoS) attacks can cause serious problems in wireless networks due to limited network and host resources. Attacker traceback is a promi...
Yongjin Kim