5863 search results - page 959 / 1173 » On Model-Checking of P Systems |
171
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
152
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
169
click to vote
AVSS
2007
IEEE
15 years 6 months ago
2007
IEEE
People tracking is of fundamental importance in multicamera surveillance systems. In recent years, many approaches for multi-camera tracking have been discussed. Most methods use ...
166
click to vote
AIEDU
2007
15 years 6 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
186
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...