7607 search results - page 1379 / 1522 » informs 2006 |
129
Voted
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
120
Voted
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
In wireless local area networks often a station can potentially associate with more than one access point. Therefore, a relevant question is which access point to select “bestâ€...
139
Voted
SSDBM
2006
IEEE
15 years 9 months ago
2006
IEEE
Signaling pathways are chains of interacting proteins, through which the cell converts a (usually) extracellular signal into a biological response. The number of known signaling p...
122
Voted
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
103
click to vote
TPHOL
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...