Sciweavers

20807 search results - page 373 / 4162
» How to read a paper
Sort
View
FMICS
2010
Springer
15 years 8 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
MM
2010
ACM
221views Multimedia» more  MM 2010»
15 years 7 months ago
Building book inventories using smartphones
Manual generation of a book inventory is time-consuming and tedious, while deployment of barcode and radio-frequency identification (RFID) management systems is costly and afforda...
David M. Chen, Sam S. Tsai, Bernd Girod, Cheng-Hsi...
DASFAA
2010
IEEE
176views Database» more  DASFAA 2010»
15 years 7 months ago
Efficient Database-Driven Evaluation of Security Clearance for Federated Access Control of Dynamic XML Documents
Achieving data security over cooperating web services is becoming a reality, but existing XML access control architectures do not consider this federated service computing. In this...
Erwin Leonardi, Sourav S. Bhowmick, Mizuho Iwaihar...
ICDE
2010
IEEE
154views Database» more  ICDE 2010»
15 years 7 months ago
Processing online news streams for large-scale semantic analysis
— While Internet has enabled us to access a vast amount of online news articles originating from thousands of different sources, the human capability to read all these articles h...
Milos Krstajic, Florian Mansmann, Andreas Stoffel,...
CORR
2010
Springer
342views Education» more  CORR 2010»
15 years 7 months ago
A Wireless Sensor Network Air Pollution Monitoring System
Sensor networks are currently an active research area mainly due to the potential of their applications. In this paper we investigate the use of Wireless Sensor Networks (WSN) for...
Kavi Kumar Khedo, Rajiv Perseedoss, Avinash Mungur