10159 search results - page 1730 / 2032 » System Design Validation Using Formal Models |
167
click to vote
MSWIM
2005
ACM
16 years 8 days ago
2005
ACM
The substitution of ATM transport by IP in future UMTS Radio Access Networks (UTRAN) introduces several performance challenges that need to be addressed to guarantee the feasibili...
193
click to vote
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
162
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
168
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
146
click to vote
WORM
2003
15 years 8 months ago
2003
Fast Internet worms are a relatively new threat to Internet infrastructure and hosts. We discuss motivation and possibilities to study the behaviour of such worms and degrees of f...