103 search results - page 14 / 21 » Dependability Analysis and Verification for Connected System... |
142
click to vote
SCN
2008
Springer
14 years 9 months ago
2008
Springer
Relative location information helps build vehicle topology maps. Such maps provide location information of nearby vehicles to drivers. In building a vehicle topology, one must cons...
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...
ICDCS
2007
IEEE
15 years 3 months ago
2007
IEEE
BitTorrent is one of the most popular protocols for content distribution and accounts for more than 15% of the total Internet traffic. In this paper, we present an analytical mod...
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...