8109 search results - page 1188 / 1622 » A Model of Component-Based Programming |
164
Voted
COMPSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
154
click to vote
GLOBECOM
2006
IEEE
16 years 14 days ago
2006
IEEE
Telecommunication companies, such as Internet and cellular service providers, are seeing rapid and uncertain growth of traffic routed through their networks. It has become a chall...
136
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
The increasing availability of high-performance computing systems with thousands, tens of thousands, and even hundreds of thousands of computational nodes is driving the demand fo...
172
click to vote
RTAS
2006
IEEE
16 years 12 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
182
click to vote
RTSS
2006
IEEE
16 years 12 days ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...