1054 search results - page 145 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
129
click to vote
EDOC
1997
IEEE
15 years 8 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
118
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
129
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
160
click to vote
DAC
2008
ACM
15 years 6 months ago
2008
ACM
Model order reduction is an efficient technique to reduce the system complexity while producing a good approximation of the input-output behavior. However, the efficiency of reduc...
131
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...