Sciweavers

2490 search results - page 313 / 498
» Complexity of Contextual Reasoning
Sort
View
CONEXT
2009
ACM
15 years 5 months ago
Macroscope: end-point approach to networked application dependency discovery
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
Lucian Popa 0002, Byung-Gon Chun, Ion Stoica, Jaid...
PODS
2010
ACM
197views Database» more  PODS 2010»
15 years 4 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
DASFAA
2007
IEEE
162views Database» more  DASFAA 2007»
15 years 4 months ago
Framework for Extending RFID Events with Business Rule
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
Mikyeong Moon, Seongjin Kim, Keunhyuk Yeom, Heeseo...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 4 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi
EXPERT
2008
78views more  EXPERT 2008»
15 years 4 months ago
Odor Recognition for Intelligent Systems
An electronic nose (e-nose) is an intelligent sensing device that uses an array of gas sensors of partial and overlapping selectivity along with a pattern recognition component to...
Amy Loutfi, Silvia Coradeschi