1833 search results - page 315 / 367 » Mechanized Verification with Sharing |
137
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...
141
click to vote
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
Over the last several years, there has been an emerging interest in the development of widearea data collection and analysis centers to help identify, track, and formulate respons...
139
click to vote
SIGMETRICS
2006
ACM
15 years 10 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...
162
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
146
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
The identification of cis-regulatory elements and modules is an important step in understanding the regulation of genes. We have developed a pipeline capable of running multiple m...