5550 search results - page 717 / 1110 » Different Approaches to Proof Systems |
274
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
242
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
185
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In a number of scenarios, services generated using a model-driven development (MDD) approach could benefit from “reflective” access to the information in the models from w...
174
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
168
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...