1077 search results - page 58 / 216 » Management of Evolving Specifications using Category Theory |
RTS
2002
13 years 7 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
KCAP
2003
ACM
14 years 1 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
AI
2006
Springer
13 years 11 months ago
2006
Springer
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
ICDT
2010
ACM
13 years 12 months ago
2010
ACM
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...
IDEAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Database Management Systems (DBMSs) that can be tailored to specific requirements offer the potential to improve reliability and maintainability and simultaneously the ability t...