83 search results - page 1 / 17 » Some Basic Tenets of Description |
64
Voted
SOSYM
2002
14 years 9 months ago
2002
FASE
2007
Springer
15 years 3 months ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
85
Voted
DLOG
2006
14 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
118
click to vote
Publication
The space-time geometric structure of Maxwell’s equations is examined and a subset of them is found to define a pair of exact discrete time-stepping relations. The desirability ...
89
Voted
RWEB
2009
Springer
15 years 4 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...