Sciweavers

1675 search results - page 221 / 335
» Compositional Model-Based Design
Sort
View
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
14 years 3 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
INFOCOM
2008
IEEE
14 years 3 months ago
Characterizing and Modelling Clustering Features in AS-Level Internet Topology
The AS-level Internet topology has shown significant clustering features. In this paper, we propose a new set of clustering metrics and conduct extensive measurement on the AS-le...
Yan Li, Jun-Hong Cui, Dario Maggiorini, Michalis F...
ENC
2007
IEEE
14 years 3 months ago
A MDA tool for the development of service-oriented component-based applications
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
Nestor Riba, Humberto Cervantes
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
14 years 3 months ago
Robot Communication Principal by Motion Synchronization using Orbit Attractor
Abstract— The human communication exists in various situations of our daily life. For human – robot communication or robot – robot communication, it is useful to design a com...
Masafumi Okada, Kenji Murakami
ISAAC
2007
Springer
109views Algorithms» more  ISAAC 2007»
14 years 3 months ago
A Sub-cubic Time Algorithm for the k -Maximum Subarray Problem
We design a faster algorithm for the k-maximum sub-array problem under the conventional RAM model, based on distance matrix multiplication (DMM). Specifically we achieve O(n3 log ...
Sung Eun Bae, Tadao Takaoka