25218 search results - page 42 / 5044 » A Logic-Based Information System |
MATES
2004
Springer
15 years 3 months ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
ITP
2006
14 years 9 months ago
2006
Purpose
100
click to vote
IRI
2009
IEEE
15 years 4 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...