Sciweavers

282 search results - page 9 / 57
» An Algebraic Method for Analyzing Open-Loop Dynamic Systems
Sort
View
JLP
2006
155views more  JLP 2006»
14 years 10 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio
CDC
2010
IEEE
142views Control Systems» more  CDC 2010»
14 years 5 months ago
Consensus with constrained convergence rate: Agreement in communities
The study focuses on a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. Essentially, we propose an agreement protocol that impose a p...
Constantin-Irinel Morarescu, Antoine Girard
DSOM
2003
Springer
15 years 3 months ago
A Method on Multimedia Service Traffic Monitoring and Analysis
The use of multimedia service applications is growing rapidly on the Internet. These applications are generating a huge volume of network traffic, which has a great impact on netw...
Hun-Jeong Kang, Myung-Sup Kim, James Won-Ki Hong
JSS
2010
120views more  JSS 2010»
14 years 4 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
SMALLTALK
2007
Springer
15 years 4 months ago
Object flow analysis: taking an object-centric view on dynamic analysis
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
Adrian Lienhard, Stéphane Ducasse, Tudor G&...