2035 search results - page 289 / 407 » On the complexity of stratified logics |
90
Voted
ICSOFT
2007
15 years 2 months ago
2007
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
104
click to vote
DMDW
2000
15 years 2 months ago
2000
View materialization is a central issue in logical design of data warehouses since it is one of the most powerful techniques to improve the response to the workload. Most approach...
117
click to vote
AIIDE
2009
15 years 1 months ago
2009
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so that it satisfies the author's expressive g...
138
Voted
DASFAA
2007
IEEE
15 years 28 days ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
104
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...