6978 search results - page 1124 / 1396 » On Proofs in System P |
164
click to vote
FGCS
2010
15 years 5 months ago
2010
searchers are now invited to submit abstracts on one or more of the following topics: • Control plane mechanisms, e.g. circuit reservation • Network protocols research, e.g. DC...
147
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
169
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Dynamic resource allocation has the potential to provide significant increases in total revenue in enterprise systems through the reallocation of available resources as the dem...
201
click to vote
SICHERHEIT
2010
15 years 4 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
263
click to vote
DILS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...