4335 search results - page 247 / 867 » Ontology Engineering Relationally |
205
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
173
click to vote
SEKE
2005
Springer
16 years 22 days ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
194
click to vote
EMSOFT
2004
Springer
16 years 19 days ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
176
click to vote
ICESS
2004
Springer
16 years 18 days ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
211
click to vote
Publication
In this paper, we focus on facial displays, eye gaze and head tilts to express social dominance. In particular, we are interested in the interaction of different non-verbal cues. W...