1054 search results - page 166 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
145
click to vote
IJCAI
2007
15 years 5 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
150
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
115
Voted
WSC
2000
15 years 5 months ago
2000
MODELING FOR ENGINEERING AND ENGAGEMENT LEVEL SIMULATIONS Robert M. McGraw Richard A. MacDonald RAM Laboratories, Inc. 6540 Lusk Boulevard, Suite C200 San Diego, CA 92121, U.S.A. ...
137
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
126
Voted
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
— In this paper, we present a framework for the analysis of a set of adaptive variable-bit-rate voice sources in a packet network. The instantaneous bit rate of each source is de...