2293 search results - page 276 / 459 » Temporal Logic in Information Systems |
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
165
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
180
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
193
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
191
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...