Sciweavers

2578 search results - page 413 / 516
» A Family-Oriented Software Development Process for Engine Co...
Sort
View
ISPASS
2010
IEEE
15 years 7 months ago
PEBIL: Efficient static binary instrumentation for Linux
Binary instrumentation facilitates the insertion of additional code into an executable in order to observe or modify the executable's behavior. There are two main approaches t...
Michael Laurenzano, Mustafa M. Tikir, Laura Carrin...
AMAST
2008
Springer
15 years 5 months ago
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
Han Gao, Chiara Bodei, Pierpaolo Degano
CCECE
2009
IEEE
15 years 10 months ago
A distributed and cooperative supervisory estimation of multi-agent systems - Part I: Framework
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
Seyyedmohsen Azizi, Mani M. Tousi, Kash Khorasani
ENTCS
2010
97views more  ENTCS 2010»
15 years 19 days ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli
MUE
2007
IEEE
119views Multimedia» more  MUE 2007»
15 years 9 months ago
Building Scalable and Robust Architecture for Ubiquitous Sensor Networks with the help of Design Patterns
Design patterns address a recurring design problem for a specific situation, and present a solution. Design patterns have proven useful in many engineering disciplines such as Sof...
Syed Obaid Amin, Muhammad Shoaib Siddiqui, Choong ...