3573 search results - page 360 / 715 » Reasoning about Codata |
182
click to vote
ELPUB
2007
ACM
15 years 9 months ago
2007
ACM
Specialized open access digital collections contain a wealth of valuable resources. However, major academic and research libraries do not always provide access to them, and thus d...
126
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
171
click to vote
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
In wireless sensor networks with many-to-one transmission mode, a multi-objective TDMA (Time Division Multiple Access) scheduling model is presented, which concerns about the packe...
174
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
149
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...