3828 search results - page 736 / 766 » Proof-Based System Engineering Using a Virtual System Model |
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
Wireless sensor networks are tightly associated with the underlying environment in which the sensors are deployed. The global topology of the network is of great importance to bot...
SBCCI
2005
ACM
14 years 2 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
MM
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents an efficient, personalizable and yet completely automatic algorithm for enhancing the brightness, tonal balance, and contrast of faces in thumbnails of online...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...