12981 search results - page 2547 / 2597 » Model Checking (Abstract) |
170
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...
218
click to vote
GBRPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...
164
click to vote
GCB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
149
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Hybrid wireless-optical broadband access network (WOBAN) is a promising architecture for future network operations. Recently, the wireless part of WOBAN has been gaining...
151
click to vote
HPCC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...