Sciweavers

305 search results - page 31 / 61
» A Logical Framework to Deal with Variability
Sort
View
141
Voted
ICCS
2007
Springer
15 years 3 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
EUSFLAT
2007
145views Fuzzy Logic» more  EUSFLAT 2007»
15 years 1 months ago
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices
Generalized concept lattices have been recently proposed to deal with uncertainty or incomplete information as a non-symmetric generalization of the theory of fuzzy formal concept...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
CLIMA
2004
15 years 1 months ago
Contextual Taxonomies
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
FUIN
2008
177views more  FUIN 2008»
14 years 11 months ago
A Multi-facet Approach to Dynamic Agent Systems
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Berna...
VLSID
2006
IEEE
129views VLSI» more  VLSID 2006»
16 years 4 days ago
A Stimulus-Free Probabilistic Model for Single-Event-Upset Sensitivity
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...
Mohammad Gh. Mohammad, Laila Terkawi, Muna Albasma...