Sciweavers

2035 search results - page 289 / 407
» On the complexity of stratified logics
Sort
View
90
Voted
ICSOFT
2007
15 years 2 months ago
Towards a New Code-Based Software Development Concept Enabling Code Patterns
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...
Klaus Meffert, Ilka Philippow
DMDW
2000
161views Management» more  DMDW 2000»
15 years 2 months ago
View materialization for nested GPSJ queries
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...
Matteo Golfarelli, Stefano Rizzi
AIIDE
2009
15 years 1 months ago
Evaluating the Authorial Leverage of Drama Management
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...
Sherol Chen, Mark J. Nelson, Michael Mateas
138
Voted
DASFAA
2007
IEEE
162views Database» more  DASFAA 2007»
15 years 28 days ago
Framework for Extending RFID Events with Business Rule
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...
Mikyeong Moon, Seongjin Kim, Keunhyuk Yeom, Heeseo...
104
Voted
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 26 days ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
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...
Carlo A. Furia, Matteo Pradella, Matteo Rossi