Sciweavers

52 search results - page 3 / 11
» er 2009
Sort
View
58
Voted
ER
2009
Springer
110views Database» more  ER 2009»
15 years 6 months ago
Formalizing Linguistic Conventions for Conceptual Models
Jörg Becker, Patrick Delfmann, Sebastian Herw...
55
Voted
ER
2009
Springer
126views Database» more  ER 2009»
15 years 6 months ago
A Frame Manipulation Algebra for ER Logical Stage Modelling
Antonio L. Furtado, Marco A. Casanova, Karin Kooga...
IGARSS
2009
14 years 9 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»
16 years 14 days 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
15 years 6 months 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