Sciweavers

21430 search results - page 3981 / 4286
» Abstract Effective Models
Sort
View
SECON
2010
IEEE
15 years 2 months ago
Disruption-Tolerant Spatial Dissemination
Abstract-- Spatial dissemination is a specific form of information dissemination that enables mobile users to send information to other mobile users who are or will appear at a spe...
Bo Xing, Sharad Mehrotra, Nalini Venkatasubramania...
SECON
2010
IEEE
15 years 2 months ago
C-DMRC: Compressive Distortion-Minimizing Rate Control for Wireless Multimedia Sensor Networks
Abstract--This paper investigates the potential of the compressed sensing (CS) paradigm for video streaming in Wireless Multimedia Sensor Networks. The objective is to co-design a ...
Scott Pudlewski, Tommaso Melodia, Arvind Prasanna
SEKE
2010
Springer
15 years 2 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
SEMWEB
2010
Springer
15 years 2 months ago
Evolution of DL - Lite Knowledge Bases
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dm...
SOCIALCOM
2010
15 years 2 months ago
The Dynamics of Two Cognitive Heuristics for Coordination on Networks
Abstract--This paper is about how groups solve global coordination problems such as the distributed graph coloring problem. We focused on scenarios in which agents are not able to ...
Iyad Rahwan, Fatemeh Jahedpari, Sherief Abdallah
« Prev « First page 3981 / 4286 Last » Next »