Sciweavers

27827 search results - page 5082 / 5566
» Generating
Sort
View
ICS
2004
Tsinghua U.
15 years 10 months ago
CQoS: a framework for enabling QoS in shared caches of CMP platforms
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...
Ravi R. Iyer
ICSOC
2004
Springer
15 years 10 months ago
Associating assertions with business processes and monitoring their execution
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
132
Voted
ICTAC
2004
Springer
15 years 10 months ago
A Proof of Weak Termination Providing the Right Way to Terminate
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Olivier Fissore, Isabelle Gnaedig, Hél&egra...
163
Voted
ICWE
2004
Springer
15 years 10 months ago
Modeling the Structure of Web Applications with ArgoUWE
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
Alexander Knapp, Nora Koch, Gefei Zhang
IFIP
2004
Springer
15 years 10 months ago
A Framework for End-to-End QoS Context Transfer in Mobile IPv6
Providing Quality-of-Service (QoS) guarantees and mobility support for Internet devices has become a hot research topic in the Next Generation Internet research, since mobile compu...
Chuda Liu, Depei Qian, Yi Liu, Kaiping Xiao
« Prev « First page 5082 / 5566 Last » Next »