355 search results - page 37 / 71 » Support for Temporal Data by Complex Objects |
136
Voted
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
151
Voted
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
152
Voted
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
135
Voted
CSCW
2012
ACM
13 years 11 months ago
2012
ACM
In spite of decades of research on virtual worlds, our understanding of one popular form of virtual world behavior— raiding—remains limited. Raiding is important because it en...
129
click to vote
IDEAS
1997
IEEE
15 years 7 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...