266 search results - page 7 / 54 » Identifying Objects Over Time with Description Logics |
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
The OKKAM initiative1 has recently highlighted the need of moving from the traditional web towards a "web of entities", where real-world objects descriptions could be ret...
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
FORMATS
2006
Springer
14 years 23 days ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
SCFBM
2008
13 years 8 months ago
2008
Background: Life Science Identifiers (LSIDs) are persistent, globally unique identifiers for biological objects. The decentralised nature of LSIDs makes them attractive for identi...