4099 search results - page 687 / 820 » A Framework for Interactive Proof |
126
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
133
click to vote
IPSN
2009
Springer
15 years 11 months ago
2009
Springer
Distributed simulation techniques are commonly used to improve the speed and scalability of wireless sensor network simulators. However, accurate simulations of dynamic interactio...
129
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
144
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
106
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
Multi-agent systems (MAS) is an accepted paradigm in safety-critical systems, like the production automation. Agents control the underlying machinery they are representing and int...