1288 search results - page 205 / 258 » On Analysis of Design Component Contracts: A Case Study |
129
click to vote
VIS
2004
IEEE
16 years 2 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
117
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
130
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
107
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Sequential auctions are an important mechanism for buying/selling multiple objects. Existing work has studied sequential auctions for objects that are exclusively either common va...
118
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...