2273 search results - page 196 / 455 » On the Expressiveness and Complexity of ATL |
197
click to vote
PPSWR
2005
Springer
16 years 1 days ago
2005
Springer
Metadata processing is recognized as a central challenge for database research in the next decade. Already, novel desktop data management and search applications (cf. Apple’s Spo...
194
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oï...
171
click to vote
HSNMC
2004
Springer
15 years 12 months ago
2004
Springer
Because of the ever-increasing popularity of the Internet, network monitoring becomes very mission critical to guarantee the operation of IP networks, e.g. to detect network failur...
194
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
153
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
The range of human kinematic motion as well as force resolution should be known for design of a haptic device. In addition, a haptic interface can be designed more easily when mas...