2435 search results - page 397 / 487 » GPSS - 40 years of development |
156
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The new design for the introductory programming course at ETH relies on object technology, Eiffel, extensive reuse, a graphics-rich library (TRAFFIC) built specifically for the c...
165
click to vote
HIPC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract— In this work, we demonstrate the power of providing a common set of operating system services to Grid Architectures, including high-performance I/O, communication, reso...
143
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Organisations that follow the CMM-road towards software process improvement tend to spend large amounts of money and effort. This is certainly the case in the company ING which le...
169
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
172
click to vote
ROBOCUP
2001
Springer
15 years 10 months ago
2001
Springer
With the more sophisticated abilities of teams within the simulation league high level online functions become more and more attractive. Last year we proposed an approach to recogn...