10038 search results - page 1856 / 2008 » Model Checking for Managers |
134
Voted
IS
2006
15 years 4 months ago
2006
The processing and management of XML data are popular research issues. However, operations based on the structure of XML data have not received strong attention. These operations ...
131
Voted
JNW
2008
15 years 4 months ago
2008
This paper provides an overview of the technologies used in smart classrooms for distance education by classifying smart classrooms into four categories and discussing the type of ...
129
click to vote
JBI
2006
15 years 4 months ago
2006
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...
133
click to vote
JRTIP
2008
15 years 4 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
119
click to vote
DC
2007
15 years 4 months ago
2007
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...