1226 search results - page 188 / 246 » Proofs, Programs and Abstract Complexity |
ISSTA
2000
ACM
15 years 3 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
101
click to vote
WOA
2001
15 years 1 months ago
2001
The Mobile Agent (MA) paradigm seems to be a promising solution for the design and development of distributed value-added services. However, mobility has added complexity to the d...
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
OSDI
2002
ACM
16 years 4 days ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
ALGOSENSORS
2007
Springer
15 years 6 months ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...