2407 search results - page 275 / 482 » A Tool for Abstraction in Model Checking |
238
click to vote
ATC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
210
click to vote
FM
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
190
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- Vehicle-to-vehicle communications can be used effectively for intelligent transport systems (ITS) and locationaware services [1]. The ability to disseminate information ...
197
click to vote
CAI
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
154
click to vote
AH
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper, we present AthenaQTI, a tool for authoring personalized assessments, which gives the author significant flexibility in terms of the adaptation that s/he ca...