Sciweavers

1675 search results - page 221 / 335
» Compositional Model-Based Design
Sort
View
116
Voted
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
15 years 11 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
15 years 11 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...
118
Voted
ENC
2007
IEEE
15 years 11 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»
15 years 11 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
132
Voted
ISAAC
2007
Springer
109views Algorithms» more  ISAAC 2007»
15 years 10 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