4965 search results - page 409 / 993 » A Simple Abstraction for Data Modeling |
200
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Domain knowledge for web applications is currently being made available as domain ontology with the advent of the semantic web, in which semantics govern relationships am...
176
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
162
click to vote
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
148
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
171
click to vote
ICPPW
2005
IEEE
16 years 13 days ago
2005
IEEE
Grid enabled physics analysis requires a Workload Management System (WMS) that takes care of finding suitable computing resources to execute data intensive jobs. A typical exampl...