12194 search results - page 350 / 2439 » cans 2010 |
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
179
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
262
click to vote
ENTCS
2007
15 years 6 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...