3901 search results - page 616 / 781 » software 2008 |
164
click to vote
STTT
1998
15 years 6 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
180
click to vote
TOCHI
1998
15 years 6 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
170
click to vote
TON
1998
15 years 6 months ago
1998
IP traffic on the Internet and private enterprise networks has been growing exponentially for some time. This growth is beginning to stress the traditional, processor based design...
165
click to vote
SIMULATION
2002
15 years 6 months ago
2002
A simulation model of the flow of Intermodal Terminal Units (ITUs) among inland intermodal terminals is presented. The intermodal terminals are inter-connected by rail corridors. ...
152
click to vote
TSE
1998
15 years 6 months ago
1998
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...