4693 search results - page 455 / 939 » Verifying Hybrid Systems |
190
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...
214
click to vote
ICNP
2006
IEEE
16 years 1 months ago
2006
IEEE
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
204
click to vote
ICMCS
2005
IEEE
16 years 21 days ago
2005
IEEE
A semi-auto system is developed to acquire playerpossession for broadcast soccer video, whose objective is to minimize the manual work. This research is important because acquirin...
179
click to vote
ACSAC
2003
IEEE
16 years 12 days ago
2003
IEEE
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation verifies a methodology pre...
214
click to vote
ECBS
2003
IEEE
16 years 11 days ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...