2473 search results - page 162 / 495 » Systems, Views and Models of UML |
173
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
190
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
187
Voted
IEEEICCI
2006
IEEE
16 years 1 months ago
2006
IEEE
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
166
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
We provide a novel view of learning an approximate model of a partially observable environment from data and present a simple implemenf the idea. The learned model abstracts away ...
194
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper proposes a methodology to evaluate the effects of encodings on the power consumption of system-level buses in the presence of multi-level cache memories. The proposed m...