Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The TCGOV 2005 international conference on e-government was held at the Free University of Bozen-Bolzano during March 2-4, 2005. The conference was initiated by the working group Towards Electronic Democracy  (TED) of the European Science Foundation and was jointly organized by the Free University ofBozen-Bolzano,theMunicipalityofBozen-Bolzano,theTEDWorkingGroup, and the IFIP Working Group 8.5. The conference addressed a large spectrum of issues that are relevant and have to be investigated for a successful transition from the traditional form of government to a new form known as e-government. The main focus was on the following topics: - improving citizen participation and policy making (e-democracy) - government application integration - semantic Web technologies for e-government - security aspects for e-government services Two sessions were dedicated to e-democracy, an emerging area within- government that seeks to enhance democratic processes and provide increased opportunities for individuals and communities to be involved in governmental decisions.Thecontributionsofthesetwosessionscovermorefundamentalresults and insights as well as experiences from di?erent countries. Another focus was on government application integration and the use of - mantic Web technologies, which are important technical aspects on the agenda of e-government research. Di?erent architectures for the integration and orch- tration of distributed services and processes were presented along with two case studies. Three papers about Semantic Web technologies discussed the use of ontologies in e-government.

Artificial intelligence. --- Application software. --- Computers and civilization. --- Computers. --- Law and legislation. --- Information technology. --- Business—Data processing. --- Artificial Intelligence. --- Information Systems Applications (incl. Internet). --- Computer Appl. in Administrative Data Processing. --- Computers and Society. --- Legal Aspects of Computing. --- IT in Business.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems,ISMIS2005,heldinSaratogaSprings, NewYork,25-28May,2005. ThesymposiumwasorganizedbySUNYatAlbany. Itwas sponsored by the Army Research Of?ce and by several units of the University at Albany including its Division for Research, College of Arts and Sciences, Department of C- puter Science, and Institute for Informatics, Logics, and Security Studies (formerly the Institute for Programming and Logics). ISMIS is a conference series that was started in 1986 in Knoxville, Tennessee. Since then it has been held in Charlotte (North Carolina), Knoxville(Tennessee),Turin(Italy),Trondheim(Norway),Warsaw(Poland),Zakopane (Poland), Lyon (France), and Maebashi City (Japan). The Program Committee selected the following major areas for ISMIS 2005: intelligent information systems, knowledge discovery and data mining, knowledge - formation and integration, knowledge representation, logic for arti?cial intelligence, soft computing, Web intelligence, Web services, and papers dealing with applications of intelligent systems in complex/novel domains. The contributed papers were selected from almost 200 full draft papers by the Program Committee members: Troels Andreasen, Peter Baumgartner, Boualemn Benatallah, Salima Benbernou, Veronique Benzaken, Petr Berka, Elisa Bertino, Alan Biermann, Jacques Calmet, Sandra Carberry, Juan Carlos Cubero, Luigia Carlucci Aiello, Shu-Ching Chen, Christine Collet, Agnieszka Dardzinska, Ian Davidson, Robert Demolombe, Jitender Deogun, Jon Doyle, Tapio Elomaa, Attilio Giordana, Jerzy Grzymala-Busse,MirsadHadzikadic,ReinerHaehnle,JanuszKacprzyk,VipulKashyap, Jan Komorowski, Jacek Koronacki, Tsau Young Lin, Donato Malerba, David Maluf, Davide Martinenghi, Stan Matwin, Natasha Noy, Werner Nutt, James Peters, Jean-Marc Petit, Vijay Raghavan, Jan Rauch, Gilbert Ritschard, Erik Rosenthal, Marie-Christine Rousset, Nahid Shahmehri, Andrzej Skowron, Dominik Slezak, Nicolas Spyratos, V. S.

Artificial intelligence. --- Information storage and retrieval. --- Application software. --- Database management. --- User interfaces (Computer systems). --- Computers. --- Artificial Intelligence. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Database Management. --- User Interfaces and Human Computer Interaction. --- Computation by Abstract Devices.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group's activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other's results. The year 2004 was a good opportunity to bring closer these two research communities for an event, the 11th edition of DSVIS and the 9th edition of EHCI. EHCI-DSVIS was set up as a working conference bringing together researchers and practitioners interested in strengthening the scientific foundations of user interface design, specification and verification, and in examining the relationships between software engineering and human-computer interaction. The call for papers attracted a lot of attention, and we received a record number of submissions: out of the 65 submissions, 23 full papers were accepted, which gives an acceptance rate of approximately 34%. Three short papers were also included. The contributions were categorized in 8 chapters: Chapter 1 (Usability and Software Architecture) contains three contributions which advance the state of the art in usability approaches for modern software engineering.

User interfaces (Computer systems). --- Software engineering. --- Information storage and retrieval. --- Application software. --- Computers and civilization. --- User Interfaces and Human Computer Interaction. --- Software Engineering. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- Computers and Society.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

TheInternetisamassiveglobalnetworkofover700millionusersanditisadding users at the rate of 300,000 per day. This large, distributed, and everchanging network poses a challenge to researchers: How does one study, model, or und- stand such a decentralized, constantly evolving entity? Research in large-scale networks seeks to address this question, and the unique nature of these networks calls for a range of techniques from a host of disciplines. The workshop Com- natorial and Algorithmic Aspects of Networking and the Internet (CAAN 2004) provided a forum for the exchange of ideas on these topics. The primary goals of the workshop were to bring together a diverse cro- section of researchers in an already scattered and distinct community and also to provide a snapshot of the cutting-edge research in this ?eld. We succeeded in these goals: among the participants were mathematicians, computer scientists in theory and algorithms, computer scientists in networks, physicists, and en- neers, as well as researchers from Europe and North America, participants from industry and academia, students, and established researchers; and among the papers were some new and surprising results as well as some introductions to the foundations of the ?eld. Theworkshopprogramfeatured12peer-reviewedpapersbracketedbytwoho- longinvitedsurveytalks anopeningtalkbyAshishGoelandaclosingtalkby- dreiBroder.TopicscoveredbythetalksrangedfromtheWebgraphtogametheory tostringmatching,allinthecontextoflarge-scalenetworks.Thisvolumecollects togetherthetalksdeliveredattheworkshopalongwithanumberofsurveyarticles toroundoutthepresentationandgiveacomprehensiveintroductiontothetopic.

Application software. --- Computer organization. --- Computer communication systems. --- Algorithms. --- Game theory. --- Information Systems Applications (incl. Internet). --- Computer Systems Organization and Communication Networks. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Game Theory, Economics, Social and Behav. Sciences.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This yearmarks anexciting time in the XML-database space:XQueryis moving closer to becoming a full W3C Recommendation, and the Big 3  database vendors (IBM, Oracle, Microsoft) are expected to release XQuery support in theirrelationalDBMSs,joininganumberofexistingopensourceandcommercial products. Thus, we are very pleased to feature an industrial paper (describing theXML-speci?cfeaturesofMicrosoftSQLServer)aswellas14researchpapers. XSym's focus this year was on building XML repositories, and papers discussed the following topics: indexing support for the evaluation of XPath and XQuery; benchmarks and algorithms for XQuery and XPath evaluation; algorithms for constraint satisfaction checking, information extraction, and subtree matching; and applications of XML in information systems. This year, XSym also coordinated its e?orts with the Database and P- gramming Languages Symposium, DBPL 2005. The resulting program included not only presentations of the papers in this proceedings, but also a joint DBPL- XSym keynote talk by Giuseppe Castagna, developer of the CDuce language for XML processing, and a joint panel on open XML research problems and challenges. The organizers would like to express their gratitude to the XSym Program Committee and external reviewers for their e?orts in providing very thorough evaluationsofthesubmittedpapersundersigni?canttimeconstraintsandto- crosoftfortheirsponsorshipandfortheuseoftheMicrosoftConferenceMana- ment Toolkit. We would also like to thank Gavin Bierman and Christoph Koch, the organizersof DBPL, for their e?orts andtheir willingness to coordinate with us. These proceedings are dedicated to Alberto Mendelzon who sadly passed awaythisyear.Asastrongsupporterofandactivecontributortothissymposium series he will always remain in our memory.

Data structures (Computer science). --- Database management. --- Computer communication systems. --- Software engineering. --- Information storage and retrieval. --- Application software. --- Data Structures and Information Theory. --- Database Management. --- Computer Communication Networks. --- Software Engineering. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet).