Sciweavers

1549 search results - page 303 / 310
» A Formal Approach for the Development of Automated Systems
Sort
View
DEBU
2008
100views more  DEBU 2008»
13 years 6 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
WWW
2002
ACM
14 years 7 months ago
Learning to map between ontologies on the semantic web
Ontologies play a prominent role on the Semantic Web. They make possible the widespread publication of machine understandable data, opening myriad opportunities for automated info...
AnHai Doan, Jayant Madhavan, Pedro Domingos, Alon ...
ATAL
2003
Springer
13 years 12 months ago
Role allocation and reallocation in multiagent teams: towards a practical analysis
Despite the success of the BDI approach to agent teamwork, initial role allocation (i.e. deciding which agents to allocate to key roles in the team) and role reallocation upon fai...
Ranjit Nair, Milind Tambe, Stacy Marsella
ATAL
2008
Springer
13 years 8 months ago
Content-oriented composite service negotiation with complex preferences
In e-commerce, for some cases the service requested by the consumer cannot be fulfilled by the producer. In such cases, service consumers and producers need to negotiate their ser...
Reyhan Aydogan
BMCBI
2010
96views more  BMCBI 2010»
13 years 6 months ago
OpenChrom: a cross-platform open source software for the mass spectrometric analysis of chromatographic data
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
Philip Wenig, Juergen Odermatt