Sciweavers

1975 search results - page 11 / 395
» Property analysis and design understanding
Sort
View
139
Voted
UML
2004
Springer
15 years 7 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
134
Voted
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 1 months ago
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
Sungwook Moon, Ahmed Helmy
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 5 months ago
Indirect co-evolution for understanding belief in an incomplete information dynamic game
This study aims to design a new co-evolution algorithm, Mixture Co-evolution which enables modeling of integration and composition of direct co-evolution and indirect coevolution....
Nanlin Jin
133
Voted
ICFCA
2005
Springer
15 years 7 months ago
Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
Gabriela Arévalo, Stéphane Ducasse, ...
ICC
2007
IEEE
15 years 8 months ago
Performance Analysis of a Distributed Wireless Access Scheme
— Distributed channel access is essential for a wireless network without a central controller. In our previous research, we have proposed a distributed channel access scheme to a...
Hai Jiang, Ping Wang, Weihua Zhuang