4781 search results - page 685 / 957 » Complexity at large |
103
click to vote
ACSD
2008
IEEE
15 years 2 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
91
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
96
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
94
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
137
click to vote
ITP
2010
15 years 2 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...