Sciweavers

4759 search results - page 894 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
WEBIST
2007
15 years 3 months ago
Logging and Analyzing User's Interactions in Web Portals
Content Management Systems and Web Portal Frameworks are more and more widely adopted in Web development. Those kinds of software often produce Web pages whose layout is divided in...
Gennaro Costagliola, Filomena Ferrucci, Vittorio F...
ATAL
2010
Springer
15 years 3 months ago
DipGame: a testbed for multiagent systems
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
Angela Fabregues, David Navarro, Alejandro Serrano...
111
Voted
ATAL
2010
Springer
15 years 3 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
112
Voted
AAMAS
2007
Springer
15 years 2 months ago
An algebra for commitment protocols
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
Ashok U. Mallya, Munindar P. Singh
BMCBI
2010
124views more  BMCBI 2010»
15 years 2 months ago
A Dynamic Noise Level Algorithm for Spectral Screening of Peptide MS/MS Spectra
Background: High-throughput shotgun proteomics data contain a significant number of spectra from non-peptide ions or spectra of too poor quality to obtain highly confident peptide...
Hua Xu, Michael A. Freitas