5863 search results - page 811 / 1173 » On Model-Checking of P Systems |
171
click to vote
IUI
2006
ACM
16 years 22 days ago
2006
ACM
There is a growing need for creating life-like virtual human simulations that can conduct a natural spoken dialog with a human student on a predefined subject. We present an over...
171
click to vote
SIGSOFT
2006
ACM
16 years 22 days ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
182
click to vote
DFMA
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
212
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
Many of the world’s most critical systems are distributed real-time embedded (DRE) systems, with missioncritical quality of service (QoS) requirements. However, because of their...
168
Voted
RTAS
2005
IEEE
16 years 10 days ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...