746 search results - page 74 / 150 » Formal Analysis of UML-Based Designs |
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
125
Voted
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
131
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
119
click to vote
PODC
2010
ACM
15 years 3 months ago
2010
ACM
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...
108
click to vote
COMCOM
2008
15 years 2 months ago
2008
Due to the prevalence of peer dynamics (i.e., churn), object maintenance becomes a fundamental issue in peer-to-peer storage systems. Although quite a few prototypes have been des...