Sciweavers

2131 search results - page 372 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
BIB
2008
101views more  BIB 2008»
13 years 9 months ago
Information quality in proteomics
Proteomics, the study of the protein complement of a biological system, is generating increasing quantities of data from rapidly developing technologies employed in a variety of d...
David Stead, Norman W. Paton, Paolo Missier, Suzan...
GIS
2002
ACM
13 years 8 months ago
Interactive 3D visualization of vector data in GIS
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
Oliver Kersting, Jürgen Döllner
INFOCOM
2010
IEEE
13 years 7 months ago
Cooperative Resource Management in Cognitive WiMAX with Femto Cells
Abstract—WiMAX with femto cells is a cost-effective nextgeneration broadband wireless communication system. Cognitive Radio (CR) has recently emerged as a promising technology to...
Jin Jin, Baochun Li
PVLDB
2010
168views more  PVLDB 2010»
13 years 7 months ago
Active Complex Event Processing: Applications in Real-Time Health Care
Our analysis of many real-world event based applications has revealed that existing Complex Event Processing technology (CEP), while effective for efficient pattern matching on e...
Di Wang, Elke A. Rundensteiner, Richard Ellison, H...
STTT
2010
122views more  STTT 2010»
13 years 7 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...