1699 search results - page 47 / 340 » A timed semantics of Orc |
PKDD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
SYRCODIS
2007
13 years 10 months ago
2007
The information is at the present time often saved and available in electronic form. With still increasing quantity of accessible, most frequently text information, the need of or...
HYBRID
1997
Springer
14 years 1 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
The Semantic Web initiative puts emphasis not primarily on putting data on the Web, but rather on creating links in a way that both humans and machines can explore the Web of data...