1541 search results - page 138 / 309 » Tools and Techniques for Model Checking Networked Programs |
162
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
166
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
134
click to vote
LISA
2003
15 years 5 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
151
click to vote
ATMOS
2008
15 years 6 months ago
2008
Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...
135
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...