2881 search results - page 480 / 577 » Model Checking for Programming Languages using Verisoft |
162
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
280
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
170
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
130
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
156
Voted
UM
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...