Sciweavers

1060 search results - page 38 / 212
» Mechanized semantics
Sort
View
SEMWEB
2007
Springer
15 years 3 months ago
Enabling Advanced and Context-Dependent Access Control in RDF Stores
Semantic Web databases allow efficient storage and access to RDF statements. Applications are able to use expressive query languages in order to retrieve relevant metadata to perfo...
Fabian Abel, Juri Luca De Coi, Nicola Henze, Arne ...
GCC
2003
Springer
15 years 2 months ago
A Novel Approach to Semantics-Based Exception Handling for Service Grid Applications
Whenever the characteristics of a service grid environment are addressed, issues related to openness and dynamism pop out first. Such issues do affect the definition and handling o...
Donglai Li, Yanbo Han, Haitao Hu, Jun Fang, Xue Wa...
ICDE
1993
IEEE
104views Database» more  ICDE 1993»
15 years 1 months ago
Deterministic Semantics of Set-Oriented Update Sequences
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
Christian Laasch, Marc H. Scholl
ETS
2007
IEEE
76views Hardware» more  ETS 2007»
14 years 9 months ago
Lifelong Learning Organisers: Requirements for Tools for Supporting Episodic and Semantic Learning
We propose Lifelong Learning Organisers (LLOs) as tools to support the capturing, organisation and retrieval of personal learning experiences, resources and notes, over a range of...
Giasemi N. Vavoula, Mike Sharples
ICCS
2003
Springer
15 years 2 months ago
Using Conceptual Graphs to Capture Semantics of Agent Communication
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
Lois W. Harper, Harry S. Delugach