2797 search results - page 175 / 560 » Control Structures |
133
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
110
click to vote
DPD
2007
15 years 3 months ago
2007
Context has the potential to enhance Web services in mobile environments to a great extent. Yet, challenges such as bandwidth restriction or dynamic changes require considerations ...
135
click to vote
VLDB
1993
ACM
15 years 7 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
108
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
119
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National Airspace System (NAS) in ways that allow air traffic control to better manage aircraft flows...