Sciweavers

1336 search results - page 155 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
113
Voted
FDL
2008
IEEE
15 years 10 months ago
Model-based Design Space Exploration for RTES with SysML and MARTE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
Marcello Mura, Luis Gabriel Murillo, Mauro Prevost...
123
Voted
ICASSP
2009
IEEE
15 years 10 months ago
Multi-level non-rigid image registration using graph-cuts
Non-rigid image registration is widely used in medical image analysis and image processing. It remains a challenging research problem due to its smoothness requirement and high de...
Ronald W. K. So, Albert C. S. Chung
126
Voted
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 7 months ago
Impact of arrival burstiness on queue length: An infinitesimal perturbation analysis
Traffic burstiness has a significant impact on network performance. Burstiness can cause buffer overflows and packet drops and is particularly problematic in the context of small-b...
Yan Cai, Yong Liu, Weibo Gong, Tilman Wolf
96
Voted
ET
2007
67views more  ET 2007»
15 years 3 months ago
A Formal Analysis of Fault Diagnosis with D-matrices
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
John W. Sheppard, S. G. W. Butcher
154
Voted
IAT
2006
IEEE
15 years 9 months ago
Goal-Oriented Development of BDI Agents: The PRACTIONIST Approach
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
Vito Morreale, Susanna Bonura, Giuseppe Francavigl...