1054 search results - page 47 / 211 » Models for automatic generation of safety-critical real-time... |
EDM
2010
15 years 1 months ago
2010
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
ISMIS
2000
Springer
15 years 3 months ago
2000
Springer
Indexing file systems is a powerful means of helping users locate documents, software, and other types of data among large repositories. In environments that contain many differen...
100
click to vote
ATVA
2010
Springer
15 years 20 hour ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
CAISE
2009
Springer
15 years 3 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
IJFCS
2006
14 years 11 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...