Sciweavers

8067 search results - page 627 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
WWW
2006
ACM
16 years 7 months ago
A framework for XML data streams history checking and monitoring
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
Alessandro Campi, Paola Spoletini
TASE
2009
IEEE
16 years 1 months ago
Environmental Simulation of Real-Time Systems with Nested Interrupts
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
Guoqiang Li, Shoji Yuen, Masakazu Adachi
VL
2009
IEEE
156views Visual Languages» more  VL 2009»
16 years 1 months ago
Non-programmers identifying functionality in unfamiliar code: Strategies and barriers
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
Paul A. Gross, Caitlin Kelleher
IEEEIAS
2009
IEEE
16 years 1 months ago
Action-Based Access Control for Web Services
: Web services over the Internet are widely used nowadays. The problem of secure access to Web-based systems is of great importance naturally. Compared with the existing models, th...
FengHua Li, Wei Wang, Jianfeng Ma, Haoxin Su
ICMCS
2008
IEEE
211views Multimedia» more  ICMCS 2008»
16 years 1 months ago
A real-time video surveillance system with human occlusion handling using nonlinear regression
This paper presents a real-time single-camera surveillance system, aiming at detecting and partly analyzing a group of people. A set of moving persons is segmented using a combina...
Jungong Han, Minwei Feng, Peter H. N. de With