4201 search results - page 578 / 841 » Interaction graphs: Additives |
194
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
199
Voted
FAST
2009
15 years 4 months ago
2009
Versioning file systems provide the ability to recover from a variety of failures, including file corruption, virus and worm infestations, and user mistakes. However, using versio...
189
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
252
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...
181
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Today, companies are required to be in control of their IT assets, and to provide proof of this in the form of independent IT audit reports. However, many companies have outsourced...