12333 search results - page 2260 / 2467 » System Level Modelling for Hardware Software Systems |
124
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
124
click to vote
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose micro-climate sensing as an effective means of enhancing conventional RF-based localization. Our system targets people tracking applications in dynamic i...
131
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
119
Voted
AINA
2005
IEEE
15 years 8 months ago
2005
IEEE
Streaming video is a key functionality in Internet based services such as distant education, VoD etc.,. The high bandwidth requirements associated with such applications coupled w...
105
Voted
BIRTHDAY
1997
Springer
15 years 6 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...