Sciweavers

1396 search results - page 153 / 280
» aim 2006
Sort
View
129
Voted
JOT
2010
216views more  JOT 2010»
14 years 11 months ago
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
Elhillali Kerkouche, Allaoua Chaoui, El Bay Bouren...
JSAC
2010
86views more  JSAC 2010»
14 years 11 months ago
A randomized countermeasure against parasitic adversaries in wireless sensor networks
—Due to their limited capabilities, wireless sensor nodes are subject to physical attacks that are hard to defend against. In this paper, we first identify a typical attacker, c...
Panagiotis Papadimitratos, Jun Luo, Jean-Pierre Hu...
JSS
2010
107views more  JSS 2010»
14 years 11 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
115
Voted
JUCS
2010
152views more  JUCS 2010»
14 years 11 months ago
Introducing Living Lab's Method as Knowledge Transfer from one Socio-Institutional Context to another: Evidence from Helsinki-Ta
: The present article aims to describe the Living Lab’s method as a method innovation in institutional activities and the problems of taking this innovation into use. Possibiliti...
Katri-Liis Lepik, Merle Krigul, Erik Terk
100
Voted
JUCS
2010
130views more  JUCS 2010»
14 years 11 months ago
From Analog to Digital Television; Strategies to Promote Rapid Adaptation and Awareness
: Europe is currently transitioning to digital terrestrial television and is aimed to replace all analog infrastructures by 2012. Besides replacing all broadcasting networks in Eur...
Manuel J. Fernández Iglesias, Luis Á...