9444 search results - page 1469 / 1889 » The Language Model LMNtal |
216
Voted
AISADM
2005
Springer
16 years 12 days ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
195
click to vote
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
198
Voted
CAISE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
210
Voted
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
198
Voted
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Abiteboul et al. initiated the systematic study of distributed XML documents consisting of several logical parts, possibly located on different machines. The physical distributio...