2012 search results - page 341 / 403 » CORAL - Control, Relations and Logic |
144
click to vote
SAFECOMP
2009
Springer
16 years 24 days ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
180
click to vote
SEMWEB
2009
Springer
16 years 24 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
191
click to vote
EDBTW
2010
Springer
16 years 23 days ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
176
click to vote
ASAP
2008
IEEE
16 years 23 days ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
150
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...