Sciweavers

925 search results - page 183 / 185
» Typing Component-Based Communication Systems
Sort
View
EON
2008
13 years 11 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
TC
1998
13 years 11 months ago
Propagating Integrity Information among Interrelated Databases
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...
Arnon Rosenthal, Edward Sciore
GISCIENCE
2010
Springer
192views GIS» more  GISCIENCE 2010»
13 years 11 months ago
Automatic Extraction of Destinations, Origins and Route Parts from Human Generated Route Directions
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
Xiao Zhang, Prasenjit Mitra, Alexander Klippel, Al...
BMCBI
2007
108views more  BMCBI 2007»
13 years 10 months ago
Publishing perishing? Towards tomorrow's information architecture
Scientific articles are tailored to present information in human-readable aliquots. Although the Internet has revolutionized the way our society thinks about information, the trad...
Michael R. Seringhaus, Mark B. Gerstein
EJIS
2008
47views more  EJIS 2008»
13 years 10 months ago
The effect of flaming on computer-mediated negotiations
There is an increasing use of computer media for negotiations. However, the use of computer-mediated channels increases the hostile expressions of emotion, termed flaming. Althoug...
Norman A. Johnson, Randolph B. Cooper, Wynne W. Ch...