4350 search results - page 614 / 870 » Case studies for contract-based systems |
223
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
177
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
184
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The implementation of distributed network utility maximization (NUM) algorithms hinges heavily on information feedback through message passing among network elements. In practic...
169
click to vote
ICNP
2006
IEEE
16 years 24 days ago
2006
IEEE
— The Internet is a complex structure arising from the interconnection of numerous autonomous systems (AS), each exercising its own administrative policies to reflect the commer...
153
click to vote
SIGMETRICS
2005
ACM
16 years 9 days ago
2005
ACM
This paper examines the performance of simultaneous multithreading (SMT) for network servers using actual hardware, multiple network server applications, and several workloads. Us...