11436 search results - page 384 / 2288 » Modeling Real Reasoning |
127
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
149
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Many results have been published in the literature based on performance measurements obtained from simulations of Vehicular Networks (VANETs). These simulations use as input tra...
152
click to vote
RTCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
127
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
179
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...