241 search results - page 22 / 49 » CACM: past, present, and future |
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
WSC
1992
13 years 11 months ago
1992
In this paper we survey the past, present, and future of the Winter Simulation Conference (WSC) as well as the field of simulation. We begin by outlining the origins of WSC and it...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
FPL
2009
Springer
14 years 2 months ago
2009
Springer
Multitasking reconfigurable computers with one or more reconfigurable processors are being used increasingly during the past few years. One of the major challenges in such systems...
CN
2010
13 years 10 months ago
2010
Due to the existence of multiple stakeholders with conflicting goals and policies, alterations to the existing Internet are now limited to simple incremental updates; deployment o...