10159 search results - page 1984 / 2032 » System Design Validation Using Formal Models |
ICWS
2009
IEEE
14 years 5 months ago
2009
IEEE
—The recent surge of popularity has established Mashups as an important category of Web 2.0 applications. Mashups are essentially Web services that are often created by end-users...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
WWW
2003
ACM
14 years 1 months ago
2003
ACM
In the past few years we have seen a huge industrial investment on the development of content delivery networks (CDNs) which provide a large number of caches and storage devices a...
TOOLS
1999
IEEE
14 years 7 days ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...