6020 search results - page 972 / 1204 » A New Approach to Model Counting |
165
click to vote
ICNP
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper deals with a new pricing approach in utility fair networks, where the user’s application is associated with a utility function. We allow users to have concave as well...
189
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
151
click to vote
HUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
186
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
176
click to vote
SEM
2004
Springer
15 years 11 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...