2227 search results - page 337 / 446 » Reversibility and Models for Concurrency |
201
click to vote
AIME
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
165
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
Due to its nonlinear nature, the climate system shows quite high natural variability on different time scales, including multiyear oscillations such as the El Ni~no Southern Oscill...
165
Voted
SIGCOMM
2009
ACM
16 years 19 days ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
141
click to vote
APSEC
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
150
Voted
IPPS
2007
IEEE
16 years 12 days ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...