Sciweavers

1886 search results - page 237 / 378
» Verifying and Validating Simulation Models
Sort
View
CCS
2007
ACM
15 years 4 months ago
Analyzing the vulnerability of superpeer networks against attack
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
Bivas Mitra, Fernando Peruani, Sujoy Ghose, Niloy ...
DATE
2002
IEEE
101views Hardware» more  DATE 2002»
15 years 3 months ago
EAC: A Compiler Framework for High-Level Energy Estimation and Optimization
This paper presents a novel Energy-Aware Compilation (EAC) framework that can estimate and optimize energy consumption of a given code taking as input the architectural and techno...
Ismail Kadayif, Mahmut T. Kandemir, Narayanan Vija...
UML
2001
Springer
15 years 2 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...
ICCCN
2007
IEEE
15 years 4 months ago
Utility-Based Routing in Communication Networks with Unstable Links
Abstract—Traditional Dijkstra and Bellman-Ford routing algorithms can only provide the best route to each destination based on a fixed link cost model. We propose a utility-base...
Mingming Lu, Jie Wu
ICRA
2007
IEEE
151views Robotics» more  ICRA 2007»
15 years 4 months ago
Conveying virtual tactile feedback via augmented kinesthetic stimulation
— In real object manipulation, the deformation of the fingerpads along the contact surfaces provides local information about the geometry of the object the subject is manipulati...
Alessandro Formaglio, Gabriel Baud-Bovy, Domenico ...