3679 search results - page 646 / 736 » Answer set based design of knowledge systems |
145
click to vote
SDL
2001
15 years 5 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
138
click to vote
AAAI
1994
15 years 5 months ago
1994
Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior of physical systems and in modern engineering design. However, in ord...
135
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
187
Voted
MMS
2010
14 years 10 months ago
2010
In large-scale peer-to-peer (P2P) Video-on-Demand (VoD) streaming applications, a fundamental challenge is to quickly locate new supplying peers whenever a VCR command is issued, ...
165
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...