5550 search results - page 142 / 1110 » Different Approaches to Proof Systems |
208
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...
190
click to vote
CDC
2010
IEEE
15 years 28 days ago
2010
IEEE
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
165
click to vote
MASCOTS
2010
15 years 4 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
144
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
189
click to vote
KI
1990
Springer
15 years 10 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...