9521 search results - page 458 / 1905 » Compiling with continuations, continued |
114
Voted
SCSC
2007
15 years 6 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
124
Voted
SE
2007
15 years 6 months ago
2007
: The application of scientifically derived theories on software testing strongly depends on their ability to provide a value for practice. We provide a comprehensive review on the...
133
click to vote
CLIMA
2004
15 years 6 months ago
2004
We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...
120
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
The mainframe workforce is dwindling as the baby boomers look to retire. The problem is we do not have enough mainframe-educated people to replace the retirees. A survey to busine...
127
click to vote
ECIS
2004
15 years 6 months ago
2004
This paper examines the impact of economic transition on the information technology industry in Hungary. It highlights some of the challenges faced by policy makers and businesses...