10038 search results - page 1525 / 2008 » Model Checking for Managers |
178
click to vote
DSN
2005
IEEE
16 years 13 days ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
193
click to vote
EEE
2005
IEEE
16 years 13 days ago
2005
IEEE
The rapid growth of XML adoption has urged for the need of a proper representation for semi-structured documents, where the document structural information has to be taken into ac...
185
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Along with images and videos, 3D models have raised a certain interest for a number of reasons, including advancements in 3D hardware and software technologies, their ever decreas...
169
click to vote
IDEAS
2005
IEEE
16 years 12 days ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
172
click to vote
WORDS
2005
IEEE
16 years 12 days ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...