5378 search results - page 789 / 1076 » Base Logics in Argumentation |
116
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— Passive Optical Networks (PONs) represent a step forward in “first mile” networks; indeed, by using optical technologies, PONs can transfer a large amount of data, and by ...
IEEESCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Workflows tend to fail in real-world scenarios due to the uncertain/unreliable sensory information which sometimes needs to be updated during the execution of workflows. In a lo...
102
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
103
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
DDECS
2007
IEEE
15 years 7 months ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...