24554 search results - page 171 / 4911 » Dependable distributed systems |
123
click to vote
ACL
2010
15 years 3 months ago
2010
Strictly Piecewise (SP) languages are a subclass of regular languages which encode certain kinds of long-distance dependencies that are found in natural languages. Like the classe...
145
click to vote
SIAMCO
2010
14 years 11 months ago
2010
We study a simple continuous-time multiagent system related to Krause's model of opinion dynamics: each agent holds a real value, and this value is continuously attracted by e...
171
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
Parallel dataflow programs generate enormous amounts of distributed data that are short-lived, yet are critical for completion of the job and for good run-time performance. We ca...
168
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
148
click to vote
RE
2007
Springer
15 years 11 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...