9067 search results - page 651 / 1814 » Adaptive Model Checking |
196
click to vote
ICALT
2010
IEEE
15 years 7 months ago
2010
IEEE
— Most e-learning systems require intervention from a teacher. The development of adaptive hypermedia systems, such as intelligent tutoring systems, aimed to reduce the teachers...
207
Voted
TPDS
2008
15 years 7 months ago
2008
Modern network processor systems require the ability to adapt their processing capabilities at runtime to changes in network traffic. Traditionally, network processor applications ...
217
Voted
JOC
2007
15 years 7 months ago
2007
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
219
Voted
DICTA
2003
15 years 8 months ago
2003
：Many motion object detection algorithms rely on the process of background subtraction, an important technique which is used for detecting changes from a model of the background ...
239
Voted
ISPW
2007
IEEE
16 years 1 months ago
2007
IEEE
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...