3358 search results - page 532 / 672 » Dynamic Description Logics |
108
click to vote
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
108
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
120
click to vote
VRCAI
2004
ACM
15 years 6 months ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
90
Voted
DEON
2004
Springer
15 years 6 months ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
89
Voted
ER
2004
Springer
15 years 6 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...