Sciweavers

9521 search results - page 458 / 1905
» Compiling with continuations, continued
Sort
View
114
Voted
SCSC
2007
15 years 6 months ago
Virtual prototyping as a mechanism for simulation-based design
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...
Roger Dougal, Blake Langland, Antonello Monti
124
Voted
SE
2007
15 years 6 months ago
Scientific software test management - a research agenda
: 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...
Lars Karg, Dirk Voelz
CLIMA
2004
15 years 6 months ago
A Logic for Knowledge, Correctness, and Real Time
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...
Bozena Wozna, Alessio Lomuscio
CSREAEEE
2006
78views Business» more  CSREAEEE 2006»
15 years 6 months ago
Mainframes Are Not Going to be Replaced - Are There Enough Mainframe-educated People
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...
Kathleen Ball, David Wallace
ECIS
2004
15 years 6 months ago
Hungarian IT: Coping with Economic Transition and Globalisation
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...
G. Harindranath