Sciweavers

2446 search results - page 380 / 490
» Polyadic Concept Analysis
Sort
View
CODES
2007
IEEE
14 years 4 months ago
Locality optimization in wireless applications
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
Javed Absar, Min Li, Praveen Raghavan, Andy Lambre...
CSFW
2007
IEEE
14 years 4 months ago
Reasoning about Concurrency for Security Tunnels
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
Alwyn Goodloe, Carl A. Gunter
DEXAW
2007
IEEE
137views Database» more  DEXAW 2007»
14 years 4 months ago
FCA for contextual semantic navigation and information retrieval in heterogeneous information systems
This paper presents an information retrieval methodology which uses Formal Concept Analysis in conjunction with semantics to provide contextual answers to users’ queries. User f...
Géraldine Polaillon, Marie-Aude Aufaure, B&...
ICC
2007
IEEE
162views Communications» more  ICC 2007»
14 years 4 months ago
Ontology-Based Reasoning for Supporting Context-Aware Services on Autonomic Networks
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
Jaime Martín Serrano, Joan Serrat, John Str...
ICC
2007
IEEE
123views Communications» more  ICC 2007»
14 years 4 months ago
FP/FIFO Scheduling: Deterministic Versus Probabilistic QoS Guarantees and P-Schedulability
Abstract—In this paper, we focus on applications with quantitative QoS (Quality of Service) requirements in their end-toend response time. Two types of quantitative QoS garantees...
Leïla Azouz Saïdane, Skander Azzaz, Stev...