29082 search results - page 5360 / 5817 » The Time-Triggered Model of Computation |
195
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
208
click to vote
DIM
2005
ACM
15 years 9 months ago
2005
ACM
Privacy-Enhancing Identity Management (PIM) enables users to control which personal information they provide to their communication partner(s) by partitioning their personal infor...
199
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
— This research describes a non-interactive process that applies several forms of computational intelligence to the task of classifying biopsy lung tissue samples based on visual...
180
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The rapid advances in the computer industry allow building larger systems that require mass storage volumes. As storage space increases, its management becomes increasing...
181
click to vote
CIMCA
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes a portlet-based portal that provides user interfaces for access a Grid-based elearning platform. E-learning platforms that exploit resources and computing pow...