Sciweavers

4861 search results - page 614 / 973
» Parsimonious concept modeling
Sort
View
IDEAS
2005
IEEE
91views Database» more  IDEAS 2005»
16 years 11 days ago
Agents and Databases: Friends or Foes?
On first glance agent technology seems more like a hostile intruder into the database world. On the other hand, the two could easily complement each other, since agents carry out ...
Peter C. Lockemann, René Witte
IPPS
2005
IEEE
16 years 11 days ago
Reconfigurable Sequential Consistency Algorithm
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
Christiane V. Pousa, Luís Fabrício W...
QSIC
2005
IEEE
16 years 11 days ago
Formal Fault Tree Analysis of State Transition Systems
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
Jianwen Xiang, Kazuhiro Ogata
SEFM
2005
IEEE
16 years 10 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
SEUS
2005
IEEE
16 years 10 days ago
Resource Management Based on Personal Service Aggregations in Smart Spaces
This paper introduces a novel resource management approach based on personal service aggregations(PSAs) for smart spaces. As a smart space is usually a sharable system that simult...
Peifeng Xiang, Yuanchun Shi