984 search results - page 129 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
132
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
123
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
143
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Microarray technology is a powerful tool for geneticists to monitor interactions among tens of thousands of genes simultaneously. There has been extensive research on coherent sub...
132
Voted
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...
141
Voted
WSC
2008
15 years 6 months ago
2008
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...