184
click to vote
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
213
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
In the Linked Open Data cloud one of the largest data sets, comprising of 2.5 billion triples, is derived from the Life Science domain. Yet this represents a small fraction of the ...
217
click to vote
APSCC
2008
IEEE
15 years 9 months ago
2008
IEEE
A vehicular ad-hoc network (VANET) is a network of intelligent vehicles that communicate with other vehicles in the network. The main objective of VANET is to provide comfort and ...
170
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...