355 search results - page 28 / 71 » Aspects of Formal and Graphical Design of a Bus System |
CHI
2000
ACM
14 years 13 days ago
2000
ACM
We present lessons learned from developing Alice, a 3D graphics programming environment designed for undergraduates with no 3D graphics or programming experience. Alice is a Windo...
JSS
2008
13 years 8 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
COLING
1996
13 years 9 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
PE
2000
Springer
13 years 7 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...