Sciweavers

1975 search results - page 25 / 395
» Property analysis and design understanding
Sort
View
128
Voted
RTS
2006
176views more  RTS 2006»
15 years 1 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
UML
2005
Springer
15 years 7 months ago
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
José A. Cruz-Lemus, Marcela Genero, M. Espe...
SIGCOMM
2004
ACM
15 years 7 months ago
A first-principles approach to understanding the internet's router-level topology
A detailed understanding of the many facets of the Internet’s topological structure is critical for evaluating the performance of networking protocols, for assessing the effecti...
Lun Li, David Alderson, Walter Willinger, John Doy...
INFOCOM
2009
IEEE
15 years 8 months ago
Understanding the Performance Gap Between Pull-Based Mesh Streaming Protocols and Fundamental Limits
—Pull-based mesh streaming protocols have recently received much research attention, with successful commercial systems showing their viability in the Internet. Despite the remar...
Chen Feng, Baochun Li, Bo Li
81
Voted
INFOCOM
2003
IEEE
15 years 7 months ago
On the Intrinsic Locality Properties of Web Reference Streams
— There has been considerable work done in the study of Web reference streams: sequences of requests for Web objects. In particular, many studies have looked at the locality prop...
Rodrigo C. Fonseca, Virgilio Almeida, Mark Crovell...