2881 search results - page 317 / 577 » Model Checking for Programming Languages using Verisoft |
182
click to vote
APSEC
2006
IEEE
16 years 20 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
153
click to vote
LCPC
2007
Springer
16 years 23 days ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
207
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
207
click to vote
UML
2005
Springer
16 years 2 days ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
160
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...