Sciweavers

7209 search results - page 1079 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
EMSOFT
2011
Springer
14 years 3 months ago
Aciom: application characteristics-aware disk and network i/o management on android platform
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, In...
ECAIW
1994
Springer
15 years 7 months ago
Agent Theories, Architectures, and Languages: A Survey
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
Michael Wooldridge, Nicholas R. Jennings
WWW
2003
ACM
16 years 4 months ago
An infrastructure for searching, reusing and evolving distributed ontologies
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
Alexander Maedche, Boris Motik, Ljiljana Stojanovi...
230
Voted
ASPLOS
2009
ACM
16 years 4 months ago
Maximum benefit from a minimal HTM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
Owen S. Hofmann, Christopher J. Rossbach, Emmett W...
227
Voted
POPL
2008
ACM
16 years 3 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
« Prev « First page 1079 / 1442 Last » Next »