Sciweavers

5639 search results - page 939 / 1128
» Timed Abstract Non-interference
Sort
View
IJFCS
2008
158views more  IJFCS 2008»
15 years 2 months ago
An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
Anil Seth
IJISTA
2008
139views more  IJISTA 2008»
15 years 2 months ago
Spherical light field rendering in application for analysis by synthesis
Abstract: This paper presents a novel approach for object classification and pose estimation which employs spherical light field rendering to generate virtual views based on synthe...
Severin Todt, Matthias Langer, Christof Rezk-Salam...
IJSNET
2008
114views more  IJSNET 2008»
15 years 2 months ago
PERT: a new power-efficient real-time packet delivery scheme for sensor networks
Abstract: We present PERT, a power-efficient scheme to deliver real-time data packets in sensor networks. Time-sensitive sensor data is common in applications such as hazard monito...
Shanzhong Zhu, Wei Wang, Chinya V. Ravishankar
IJWIS
2008
150views more  IJWIS 2008»
15 years 2 months ago
COTS-based software product line development
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
Luiz Fernando Capretz, Faheem Ahmed, Shereef Al-Ma...
INFORMATICALT
2008
196views more  INFORMATICALT 2008»
15 years 2 months ago
An Efficient and Sensitive Decision Tree Approach to Mining Concept-Drifting Data Streams
Abstract. Data stream mining has become a novel research topic of growing interest in knowledge discovery. Most proposed algorithms for data stream mining assume that each data blo...
Cheng-Jung Tsai, Chien-I Lee, Wei-Pang Yang