498 search results - page 57 / 100 » A Logical Temporal Relational Data Model |
115
click to vote
EDBTW
2010
Springer
15 years 6 months 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...
119
click to vote
IJAR
2008
14 years 12 months ago
2008
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on backgroun...
SIGSOFT
2001
ACM
16 years 17 days ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
108
click to vote
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
ASE
2008
14 years 12 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...