3444 search results - page 182 / 689 » A Theory of Object-Oriented Design |
160
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
171
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
236
click to vote
ICUIMC
2011
ACM
14 years 10 months ago
2011
ACM
Efficient and fair resource allocation associated with congestion control in multi-hop cognitive radio networks (CRN) is a challenging problem. In this paper, we consider their mu...
156
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We argue that HCI has emerged as a design-oriented field of research, directed at large towards innovation, design, and construction of new kinds of information and interaction te...
270
click to vote
Lab
Our research is motivated by a strong conviction that business processes in electronic enterprises can be designed to deliver high levels of performance through the use of mathemat...