10038 search results - page 1541 / 2008 » Model Checking for Managers |
185
click to vote
USENIX
2000
15 years 8 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
174
click to vote
UAI
1994
15 years 8 months ago
1994
Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intell...
213
click to vote
DICTA
2009
15 years 7 months ago
2009
Image data is as common as textual data in this digital world. There is an urgent demand of image management tools as efficient as those text search engines. Decades of research on...
198
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—While intercell interference coordination (ICIC) for the downlink of multi-cell systems in general and orthogonal frequency division multiple access (OFDMA) networks in particul...
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The reported research work presents numerical studies validated by experimental results of a flat micro heat pipe with sintered copper wick structure. The objectives of this resea...