1030 search results - page 11 / 206 » Happenings |
IANDC
2007
14 years 9 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
JUCS
2007
14 years 9 months ago
2007
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
ICALT
2006
IEEE
15 years 3 months ago
2006
IEEE
IMS Learning Design provides a counter to the trend towards designing for lone-learners reading from screens. It guides staff and educational developers to start not with content,...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
This paper is talks about the critical role that Jim Gray played in the creation of the WorldWide Telescope software. Contrary to what you might think it wasn't his database ...
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
Upon an outbreak of a dangerous infectious disease, people generally tend to reduce their contacts with others in fear of getting infected. Such typical actions apparently help to ...