![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
21st SAC 2006: Dijon, France
- Hisham Haddad:
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. ACM 2006, ISBN 1-59593-108-2
AI and computational logic and image analysis (AI)
- Yaxin Bi, Werner Dubitzky:
An evidential approach in ensembles. 1-6 - Khalil Djelloul, Thi-Bich-Hanh Dao:
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. 7-14 - José Luís Malaquias
, Agostinho Cláudio da Rosa, Carlos Manuel B. A. Correia:
A small-world model of the human mind. 15-22 - Jia-Jun Wong, Siu-Yeung Cho:
Facial emotion recognition by adaptive processing of tree structures. 23-30 - Sara Arasteh, Chih-Cheng Hung, Enmin Song:
Adaptive dynamic run-length coding for image segmentation. 31-36 - Tony Lindgren:
On handling conflicts between rules with numerical features. 37-41
Poster papers
- Yuichi Goto, Jingde Cheng:
A quantitative analysis of implicational paradoxes in classical mathematical logic. 42-43 - Noriko Matsumoto, Norihiko Yoshida, Shuji Narazaki:
Cooperative active contour model and its application to remote sensing. 44-45
Advances in spatial and image-based information systems (ASIIS)
- Xiao Ming Zhou, Chuan-Heng Ang, Tok Wang Ling:
Dynamic interactive spatial similarity retrieval in iconic image databases using enhanced digraph. 46-51 - Thomas Hazel, Laura Toma, Jan Vahrenhold, Rajiv Wickremesinghe:
TerraCost: a versatile and scalable approach to computing least-cost-path surfaces for massive grid-based terrains. 52-57 - Victor Teixeira de Almeida, Ralf Hartmut Güting:
Using Dijkstra's algorithm to incrementally find the k-Nearest Neighbors in spatial network databases. 58-62 - Joel da Silva, Valéria Cesário Times, Ana Carolina Salgado:
An open source and web based framework for geographic and multidimensional processing. 63-67 - Katerina Raptopoulou, Michael Vassilakopoulos, Yannis Manolopoulos:
Efficient processing of past-future spatiotemporal queries. 68-72 - Jayendra Venkateswaran, S. R. Subramanya:
Schemes for SR-Tree packing. 73-77 - KwangJin Park, MoonBae Song, Chong-Sun Hwang:
Continuous spatial queries via wireless data broadcast. 78-82 - Julien Lesbegueries, Mauro Gaio, Pierre Loustau:
Geographical information access for non-structured data. 83-89
Agents, interactions, mobility, and systems (AIMS)
- Giacomo Cabri, Luca Ferrari, Letizia Leonardi
, Raffaele Quitadamo:
Strong agent mobility for aglets based on the IBM JikesRVM. 90-95 - Costin Badica, Adriana Badita, Maria Ganzha:
Implementing rule-based mechanisms for agent-based price negotiations. 96-100 - Yosi Ben-Asher, Shlomo Berkovsky
, Yaniv Eytani:
Management of unspecified semi-structured data in multi-agent environment. 101-105 - Hon Wai Leong, Ming Liu:
A multi-agent algorithm for vehicle routing problem with time window. 106-111 - Marco M. Carvalho, Matteo Rebeschini, James Horsley, Niranjan Suri:
A chat interface for human-agent interaction in MAST. 112-118 - Petr Benda, Pavel Jisl, Michal Pechoucek
, Niranjan Suri, Marco M. Carvalho:
A distributed stand-in agent based algorithm for opportunistic resource allocation. 119-125
Poster papers
- Thi Minh Luan Nguyen, Christophe Lecerf, Ivan Lavallée:
A space aware agent-based modeling process for the study of hierarchical complex systems. 126-127 - Giancarlo Fortino, Alfredo Garro, Wilma Russo:
From modeling to enactment of distributed workflows: an agent-based approach. 128-129
Bioinformatics (BIO)
- Mathew J. Palakal, William Perrizo:
Editorial message: special track on bioinformatics. 130 - Alessandro Dal Palù, Enrico Pontelli, Jing He, Yonggang Lu:
A constraint logic programming approach to 3D structure determination of large protein complexes. 131-136 - Paola Lecca
:
A time-dependent extension of gillespie algorithm for biochemical stochastic pi-calculus. 137-144 - Dirk Habich, Thomas Wächter, Wolfgang Lehner, Christian Pilarsky
:
Two-phase clustering strategy for gene expression data sets. 145-150 - Fabio Fassetti, Gianluigi Greco, Giorgio Terracina:
Efficient discovery of loosely structured motifs in biological data. 151-155 - Marcelo S. Sousa, Alba Cristina Magalhaes Alves de Melo:
PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison. 156-160 - Roger A. Craig, Li Liao:
Protein classification using transductive learning on phylogenetic profiles. 161-166 - Robert Bierman, Nidhi Maniyar, Charles Parsons, Rahul Singh:
MACE: lossless compression and analysis of microarray images. 167-172 - Jake Yue Chen
, Sarah L. Pinkerton, Changyu Shen, Mu Wang:
An integrated computational proteomics method to extract protein targets for Fanconi Anemia studies. 173-179 - Lawrence H. Reeve, Hyoil Han, Ari D. Brooks:
BioChain: lexical chaining methods for biomedical text summarization. 180-184 - Daniel Duanqing Wu, Xiaohua Hu:
Mining and analyzing the topological structure of protein-protein interaction networks. 185-189 - Michael A. Langston, Andy D. Perkins, Arnold M. Saxton, Jon A. Scharff, Brynn H. Voy:
Innovative computational methods for transcriptomic data analysis. 190-194 - Ket Fah Chong, Hon Wai Leong:
An extension of dead end elimination for protein side-chain conformation using merge-decoupling. 195-199
Poster papers
- Luiz Henrique de Campos Merschmann
, Alexandre Plastino:
A Bayesian approach for protein classification. 200-201 - Patrick C. H. Ma, Keith C. C. Chan:
A novel data mining algorithm for reconstructing gene regulatory networks from microarray data. 202-203
Computer applications in health care (CACH)
- Eoin McLoughlin, Dympna O'Sullivan, Michela Bertolotto, David C. Wilson:
MEDIC: MobilE Diagnosis for Improved Care. 204-208 - Andrew C. Simpson
, David J. Power, Mark Slaymaker
:
On tracker attacks in health grids. 209-216 - Jiandong Fang, Shiaofen Fang, Jeffrey Huang, Mihran Tuceryan:
Digital geometry image analysis for medical diagnosis. 217-221 - Nicolas Gac, Stéphane Mancini, Michel Desvignes:
Hardware/software 2D-3D backprojection on a SoPC platform. 222-228 - Vikas Singh, Lopamudra Mukherjee, Jinhui Xu, Kenneth R. Hoffmann:
Solving the brachytherapy seed localization problem using geometric and linear programming techniques. 229-234 - Xiaohua Zhou, Hyoil Han, Isaac Chankai, Ann Prestrud, Ari D. Brooks:
Approaches to text mining for clinical medical records. 235-239 - Shiaofen Fang, Min Lwin, Patricia R. Ebright:
Visualization of unstructured text sequences of nursing narratives. 240-244 - Maria Andréia F. Rodrigues, Wendel Bezerra Silva, Rafael G. Barbosa, Isabel M. M. P. Ribeiro, Milton E. Barbosa Neto:
J-Ortho: an open-source orthodontic treatment simulator. 245-249 - Joaquim Cezar Felipe
, Marcela X. Ribeiro, Elaine P. M. de Sousa, Agma J. M. Traina, Caetano Traina Jr.:
Effective shape-based retrieval and classification of mammograms. 250-255
Poster papers
- André Luiz Miranda da Rosa, Ilana de Almeida Souza, Adilson Yuuji Hira, Marcelo Knörich Zuffo:
Development of a collaborative environment applied to pediatric oncology. 256-257 - Joaquim Cezar Felipe
, Agma J. M. Traina, Caetano Traina Jr.:
A new similarity measure for histograms applied to content-based retrieval of medical images. 258-259
Computer ethics and human values (CEHV)
- Keith W. Miller:
Editorial message: computer ethics & human values track. 260 - Marty J. Wolf, Frances S. Grodzinsky:
Good/fast/cheap: contexts, relationships and professional responsibility during software development. 261-266 - Noëmi Manders-Huits:
Moral responsibility and IT for human enhancement. 267-271 - Deborah G. Johnson, Keith W. Miller
:
A dialogue on responsibility, moral agency, and IT systems. 272-276 - David G. Jenkins, Lisa A. McCauley:
GIS, SINKS, FILL, and disappearing wetlands: unintended consequences in algorithm development and use. 277-282
Computer forensics (CF)
- Mike Burmester, Judie Mulholland:
The advent of trusted computing: implications for digital forensics. 283-287 - Bob Breeden, Judie Mulholland:
Investigating 'Internet Crimes Against Children' (ICAC) cases in the state of Florida. 288-292 - Jonathon Abbott, Jim Bell, Andrew J. Clark, Olivier Y. de Vel, George M. Mohay:
Automated recognition of event scenarios for digital forensics. 293-300 - R. Lokhande, K. V. Arya, P. Gupta:
Identification of parameters and restoration of motion blurred images. 301-305
Computer-aided law and advanced technologies (CLAT)
- Giovanni Sartor, Alessandra Villecco:
Editorial message: special track on computer-aided law and advanced technologies. 306-307 - Pasquale De Meo, Giovanni Quattrone, Hind Fadil, Domenico Ursino:
A multi-agent system for efficiently managing query answering in an e-government scenario. 308-312 - Maria Fasli:
On the relationship between roles and power: preliminary report. 313-318
Poster papers
- Jingde Cheng:
Deontic relevant logic as the logical basis for legal information systems. 319-320
Computer security (SEC)
- Giampaolo Bella, Peter Y. A. Ryan:
Editorial message: special track on computer security. 321-322 - Fernando C. Colón Osorio, Zachi Klopman:
An initial analysis and presentation of malware exhibiting swarm-like behavior. 323-329 - Engin Kirda, Christopher Krügel, Giovanni Vigna, Nenad Jovanovic:
Noxes: a client-side solution for mitigating cross-site scripting attacks. 330-337 - Ryan Stutsman, Christian Grothoff, Mikhail J. Atallah, Krista Grothoff:
Lost in just the translation. 338-345 - James Heather, Steve A. Schneider:
To infinity and beyond or, avoiding the infinite in security protocol analysis. 346-353 - Petros Belsis, Kostas Fragos, Stefanos Gritzalis, Christos Skourlas:
SF-HME system: a hierarchical mixtures-of-experts classification system for spam filtering. 354-360 - Fredrik Valeur, Giovanni Vigna, Christopher Krügel, Engin Kirda:
An anomaly-driven reverse proxy for web applications. 361-368 - Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao:
Bootstrapping multi-party ad-hoc security. 369-375 - Jian Huang, A. W. Roscoe:
Extending noninterference properties to the timed world. 376-383 - Haizhi Xu, Steve J. Chapin:
Improving address space randomization with a dynamic offset randomization technique. 384-391
Constraint solving and programming (CSP)
- Stefano Bistarelli
, Éric Monfroy, Barry O'Sullivan:
Special track editorial: constraint solving and programming. 392-393 - Matthias Zytnicki, Christine Gaspin, Thomas Schiex:
A new local consistency for weighted CSP dedicated to long domains. 394-398 - Daniel Lucraft, Andrew Eremin, Farid Ajili:
Enforcing path uniqueness in internet routing. 399-403 - Nikolai Kosmatov:
A constraint solver for sequences and its applications. 404-408 - Erik Roland van der Meer, Andrzej Wasowski
, Henrik Reif Andersen:
Efficient interactive configuration of unbounded modular systems. 409-414
Poster papers
- Arnaud Lallouet, Andrei Legtchenko:
From satisfiability to consistency through certificates: application to partially defined constraints. 415-416
Coordination models, languages and applications (CM)
- Ronaldo Menezes
, Alessandro Ricci:
Editorial message: special track on coordination models, languages and applications. 417-418 - Robert Tolksdorf, Elena Paslaru Bontas, Lyndon J. B. Nixon:
A coordination model for the semantic web. 419-423 - Jorge J. Gómez-Sanz
, Juan Pavón:
Defining coordination in multi-agent systems within an agent oriented software engineering methodology. 424-428 - Alysson Neves Bessani, Joni da Silva Fraga, Lau Cheuk Lung:
BTS: a Byzantine fault-tolerant tuple space. 429-433 - Marco Mamei, Renzo Quaglieri, Franco Zambonelli:
Making tuple spaces physical with RFID tags. 434-439 - Ronaldo Menezes
, Alan Wood:
The fading concept in tuple-space systems. 440-444
Poster papers
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Towards chemical coordination for grids. 445-446 - César Cáceres, Alberto Fernández, Sascha Ossowski
, Matteo Vasirani:
An abstract architecture for semantic service coordination in agent-based intelligent peer-to-peer environments. 447-448
Database theory, technology, and applications (DTTA)
- Ramzi A. Haraty
, Apostolos N. Papadopoulos, Junping Sun:
Editorial message: special track on database theory, technology, and applications. 449 - Yangjun Chen, Donovan Cooke:
On the transitive closure representation and adjustable compression. 450-455 - Abhishek Gaurav, Reda Alhajj:
Incorporating fuzziness in XML and mapping fuzzy relational data into fuzzy XML. 456-460 - Dejing Dou, Paea LePendu:
Ontology-based integration for relational databases. 461-466 - Carlo Combi, Barbara Oliboni:
Conceptual modeling of XML data. 467-473 - P. Mark Pettovello, Farshad Fotouhi:
MTree: an XML XPath graph index. 474-481 - Alexandr A. Savinov:
Grouping and aggregation in the concept-oriented data model. 482-486 - Fei Guo, Jianmin Wang
, Deyi Li:
Fingerprinting relational databases. 487-492 - Jarernsri L. Mitrpanont, Somchart Fugkeaw
:
Design and development of a multiversion OLAP application. 493-497 - Bernadette Farias Lóscio, Thiago Costa, Ana Carolina Salgado:
Query reformulation for an XML-based data integration system. 498-502 - Tatsuo Tsuji, Akihiro Hara, Ken Higuchi:
An extendible multidimensional array system for MOLAP. 503-510
Poster papers
- Jun Miyazaki:
A memory subsystem with comparator arrays for main memory database operations. 511-512 - Samy Semghouni, Bruno Sadeg, Laurent Amanton, Alexandre Berred:
Stochastic study of real-time transactions success ratio. 513-514 - Alfredo Cuzzocrea:
An accuracy-aware compression technique for multidimensional data cubes. 515-516
Data mining (DM)
- Jianhua Feng, Qian Qian, Jianyong Wang, Lizhu Zhou:
Exploit sequencing to accelerate hot XML query pattern mining. 517-524 - Jean-Pierre Norguet, Esteban Zimányi, Ralf Steinberger:
Semantic analysis of web site audience. 525-529 - Elena Baralis, Paolo Garza:
Associative text categorization exploiting negated words. 530-535 - Taufik Fuadi Abidin, William Perrizo:
SMART-TV: a fast and scalable nearest neighbor based classifier for data mining. 536-540 - Nele Dexters, Paul W. Purdom, Dirk Van Gucht:
A probability analysis for candidate-based frequent itemset algorithms. 541-545 - Ieva Mitasiunaite, Jean-François Boulicaut:
Looking for monotonicity properties of a similarity constraint on sequences. 546-552 - Mykola Pechenizkiy
, Seppo Puuronen, Alexey Tsymbal:
The impact of sample reduction on PCA-based feature extraction for supervised learning. 553-558 - Ranieri Baraglia, Claudio Lucchese, Salvatore Orlando, Massimo Serranó, Fabrizio Silvestri:
A privacy preserving web recommender system. 559-563 - Carlos Soares
, Pavel Brazdil
:
Selecting parameters of SVM using meta-learning and kernel matrix-based meta-features. 564-568 - Ansgar Dorneich, Ramesh Natarajan, Edwin P. D. Pednault, Fateh Tipu:
Embedded predictive modeling in a parallel relational database. 569-574 - Daniel Nikovski, Veselin Kulev:
Induction of compact decision trees for personalized recommendation. 575-581 - Anton Zamolotskikh, Sarah Jane Delany, Padraig Cunningham
:
A methodology for comparing classifiers that allow the control of bias. 582-587 - Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi
:
Towards low-perturbation anonymity preserving pattern discovery. 588-592 - Fosca Giannotti, Mirco Nanni, Dino Pedreschi
, Fabio Pinelli
:
Mining sequences with temporal annotations. 593-597 - Ambika Srinivasan, Dhawal Bhatia, Sharma Chakravarthy:
Discovery of interesting episodes in sequence data. 598-602 - Hwanjo Yu, Xiaoqian Jiang, Jaideep Vaidya:
Privacy-preserving SVM using nonlinear kernels on horizontally partitioned data. 603-610 - Tamás Horváth, Susanne Hoche, Stefan Wrobel:
Effective rule induction from labeled graphs. 611-616 - Xintao Wu
, Songtao Guo, Yingjiu Li:
Towards value disclosure analysis in modeling general databases. 617-621 - Songtao Guo, Xintao Wu
:
On the use of spectral filtering for privacy preserving data mining. 622-626 - René Schult, Myra Spiliopoulou:
Expanding the taxonomies of bibliographic archives with persistent long-term themes. 627-634
Poster papers
- Jing Gao, Haibin Cheng, Pang-Ning Tan
:
Semi-supervised outlier detection. 635-636 - Aida Nemalhabib, Nematollaah Shiri:
CLUC: a natural clustering algorithm for categorical datasets based on cohesion. 637-638 - Christine Körner, Stefan Wrobel:
Bias-free hypothesis evaluation in multirelational domains. 639-640
Data streams (DS)
- Jesús S. Aguilar-Ruiz
, Francisco J. Ferrer-Troyano:
Editorial message: special track on data streams. 641-642 - Elaine P. M. de Sousa, Agma J. M. Traina, Caetano Traina Jr., Christos Faloutsos
:
Evaluating the intrinsic dimension of evolving data streams. 643-648 - Mohamed Medhat Gaber, Philip S. Yu:
A framework for resource-aware knowledge discovery in data streams: a holistic approach with its application to clustering. 649-656 - Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz
, José Cristóbal Riquelme Santos:
Data streams classification by incremental rule learning with parameterized generalization. 657-661 - João Gama
, Carlos Pinto:
Discretization from data streams: applications to histograms and data mining. 662-667
Dependable and adaptive distributed systems (DADS)
- Karl M. Göschka, Svein O. Hallsteinsen, Rui Oliveira, Alexander B. Romanovsky:
Editorial message: special track on dependable and adaptive distributed systems. 668-669 - François Bonnet
, Paul D. Ezhilchelvan, Einar Vollset:
Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts. 670-674 - Idit Keidar, Roie Melamed:
Evaluating unstructured peer-to-peer lookup overlays. 675-679 - Fernando Castor Filho, Alexander B. Romanovsky, Cecília M. F. Rubira:
Verification of coordinated exception handling. 680-685 - Paulo Sousa
, Nuno Ferreira Neves, Paulo Veríssimo:
Proactive resilience through architectural hybridization. 686-690 - Olivier Rütti, Pawel T. Wojciechowski, André Schiper:
Service interface: a new abstraction for implementing and composing protocols. 691-696 - Atsushi Ito, Tomoyuki Ohta, Kouichi Mitsukawa, Yoshiaki Kakuda:
An adaptive index allocation scheme for reliable data retrieval and provision in peer-to-peer networks. 697-704 - Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Kenji Yoshihira:
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems. 705-709 - Mikael Asplund, Simin Nadjm-Tehrani:
Post-partition reconciliation protocols for maintaining consistency. 710-717 - Kurt Geihs
, Mohammad Ullah Khan, Roland Reichle, Arnor Solberg, Svein O. Hallsteinsen, Simon Merral:
Modeling of component-based adaptive distributed applications. 718-722 - Luís E. T. Rodrigues, José Mocito, Nuno Carvalho:
From spontaneous total order to uniform total order: different degrees of optimistic delivery. 723-727 - Rui Oliveira
, José Pereira
, Alfrânio Correia Jr., Edward Archibald:
Revisiting 1-copy equivalence in clustered databases. 728-732
Poster papers
- Marius Mikalsen, Nearchos Paspallis, Jacqueline Floch, Erlend Stav
, George A. Papadopoulos, Akis Chimaris:
Distributed context management in a mobility and adaptation enabling middleware (MADAM). 733-734 - Meriem Belguidoum, Fabien Dagnat:
Analysis of deployment dependencies in software components. 735-736 - Nishanth Shankaran, Jaiganesh Balasubramanian, Douglas C. Schmidt, Gautam Biswas, Patrick J. Lardieri, Ed Mulholland, Thomas Damiano:
A framework for (re)deploying components in distributed real-time and embedded systems. 737-738
Distributed systems and grid computing (DSGC)
- Robert van Engelen, Madhusudhan Govindaraju, Nectarios Koziris, Kleanthis Psarris:
Editorial message: special track on distributed systems and grid computing. 739-740 - Kejing He
, Shoubin Dong, Li Zheng:
Service-oriented grid computation for large-scale parameter estimation in complex environmental modeling. 741-745 - Alexey L. Lastovetsky
, Ravi Reddy
, Robert Higgins:
Building the functional performance model of a processor. 746-753 - Juan Li, Son T. Vuong:
Grid resource discovery based on semantic P2P communities. 754-758 - Chenyu Pan, Merdan Atajanov, Mohammad Belayet Hossain, Toshihiko Shimokawa, Norihiko Yoshida:
FCAN: Flash Crowds Alleviation Network. 759-765 - Umesh Bellur, Siddharth Bondre:
xSpace: a tuple space for XML & its application in orchestration of web services. 766-772 - Tarek Guesmi, Houria Rezig:
Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus. 773-777 - Sylvain Sicard, Noel De Palma, Daniel Hagimont:
J2EE server scalability through EJB replication. 778-785 - Luiz A. V. C. Meyer, James Annis, Michael Wilde, Marta Mattoso, Ian T. Foster:
Planning spatial workflows to optimize grid performance. 786-790 - Hon Wai Leong, Bo Guan:
Improving the performances of proxy cache replacement policies by considering infrequent objects. 791-796 - Chao-Tung Yang, I-Hsien Yang, Chun-Hsiang Chen, Shih-Yu Wang:
Implementation of a dynamic adjustment mechanism with efficient replica selection in data grid environments. 797-804
Poster papers
- Xuanhua Shi, Hai Jin, Weizhong Qiang:
ALTER: first step towards dependable grids. 805-806 - Jeremy Philippe, Noel De Palma, Sara Bouchenak, Fabienne Boyer, Daniel Hagimont:
A black-box approach for web application SLA. 807-808
Document engineering (DE)
- Rafael Dueire Lins:
Editorial message: special track on document engineering. 809-810 - Fabio Giannetti, Luiz Gustavo Fernandes, Rogerio Timmers, Thiago Nunes, Mateus Raeder, Márcio Castro:
High performance XSL-FO rendering for variable data printing. 811-817 - Daniel Gomes, André L. Santos, Mário J. Silva:
Managing duplicates in a web archive. 818-825 - Elías F. Combarro, Elena Montañés, José Ranilla, Irene Díaz:
Angular measures for feature selection in text categorization. 826-830 - Guangming Xing, Chaitanya R. Malla, Zhonghang Xia, Snigdha Dantala Venkata:
Computing edit distances between an XML document and a schema and its application in document classification. 831-835 - Paulo Rodrigo Cavalin, Alceu de Souza Britto Jr., Flávio Bortolozzi, Robert Sabourin, Luiz E. Soares de Oliveira:
An implicit segmentation-based method for recognition of handwritten strings of characters. 836-840 - Sekhar Mandal, S. P. Chowdhury, Amit K. Das, Bhabatosh Chanda:
Detection and segmentation of tables and math-zones from document images. 841-846 - Luiz Antônio Pereira Neves, João Marques de Carvalho, Jacques Facon, Flávio Bortolozzi:
A new table interpretation methodology with little knowledge base: table interpretation methodology. 847-852 - João Marcelo Monte da Silva, Rafael Dueire Lins, Valdemar Cardoso da Rocha
:
Binarizing and filtering historical documents with back-to-front interference. 853-858
Poster papers
- Olga Artemenko, Thomas Mandl, Margaryta Shramko, Christa Womser-Hacker:
Evaluation of a language identification system for mono- and multilingual text documents. 859-860 - Elena Montañés, Elías F. Combarro, José Ranilla, Irene Díaz:
Finding optimal linear measures for feature selection in text categorization. 861-862 - Rafael Dueire Lins, Charlana Rodrigues:
Comparisons of file formats for image transmission through networks. 863-864
Electronic commerce technologies (ECT)
- Sviatoslav B. Braynov, Manuel Núñez, Fernando Rubio
:
Editorial message: special track on e-commerce technologies. 865-866 - Vincent S. Tseng, Jeng-Chuan Chang, Kawuu Weicheng Lin:
Mining and prediction of temporal navigation patterns for personalized services in e-commerce. 867-871 - Esma Aïmeur, Gilles Brassard, José M. Fernandez, Flavien Serge Mani Onana:
Privacy-preserving demographic filtering. 872-878 - M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo:
Analysis of the SET e-commerce protocol using a true concurrency process algebra. 879-886
Poster papers
- Petco E. Tsvetinov, Alan Underwood, Taizan Chan:
Dominance and ranking issues applying interval techniques in pre-negotiations for services. 887-888
Embedded systems: applications, solutions and techniques (EMBS)
- Alessio Bechini
, François Bodin, Cosimo Antonio Prete:
Editorial message for the special track on embedded systems: applications, solutions, and techniques. 889-890 - Shi-Wu Lo:
Data sharing protocols for SMT processors. 891-895 - Chin-Hsien Wu, Tei-Wei Kuo
, Li-Pin Chang:
Efficient initialization and crash recovery for log-based file systems over flash memory. 896-900 - Gwenaël Delaval, Éric Rutten:
A domain-specific language for task handlers generation, applying discrete controller synthesis. 901-905 - Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora:
Selective compilation via fast code analysis and bytecode tracing. 906-911 - Xin Li, Reinhard von Hanxleden:
A concurrent reactive Esterel processor based on multi-threading. 912-917 - Hyeonjoong Cho, Binoy Ravindran
, E. Douglas Jensen:
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software. 918-922 - Chih-Yuan Huang, Tei-Wei Kuo
, Ai-Chun Pang:
QoS support for IEEE-1394 requests. 923-927 - Kaveh Jokar Deris, Amirali Baniasadi:
Branchless cycle prediction for embedded processors. 928-932
Poster papers
- Haisang Wu, Binoy Ravindran, E. Douglas Jensen:
On bounding energy consumption in dynamic, embedded real-time systems. 933-934 - Bhanu Pisupati, Geoffrey Brown:
File system framework for organizing sensor networks. 935-936 - Hamid Noori, Kazuaki J. Murakami:
Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications. 937-938
Evolutionary computation and optimization (ECO)
- Bryant A. Julstrom:
Editorial message: track on applications of evolutionary computation. 939 - Shengxiang Yang
, Sima Uyar:
Adaptive mutation with fitness and allele distribution correlation for genetic algorithms. 940-944 - Vincenzo Cutello
, Giuseppe Nicosia, Pietro S. Oliveto:
Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions. 945-949 - Vincenzo Cutello
, Giuseppe Nicosia, Mario Pavone:
Real coded clonal selection algorithm for unconstrained global optimization using a hybrid inversely proportional hypermutation operator. 950-954 - Mihai Oltean:
A-Brain: the multiple problems solver. 955-959
Poster papers
- Bernat Duran, Fatos Xhafa:
The effects of two replacement strategies on a genetic algorithm for scheduling jobs on computational grids. 960-961
Geometric computing and reasoning (GCR)
- Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck:
Editorial message: technical track on geometric computing and reasoning. 962 - Liu Hu Yao, He Yuan Jun:
NFP-based nesting algorithm for irregular shapes. 963-967 - Reyes Pavón, Fernando Díaz, María Victoria Luzón:
An adjustment model in a geometric constraint solving problem. 968-973 - Julien Wintz, Pascal Schreck, Pascal Mathis:
A framework for geometric constraint satisfaction problem. 974-978 - Gui-Fang Zhang, Xiao-Shan Gao:
Spatial geometric constraint solving based on k-connected graph decomposition. 979-983
Handheld computing (HHC)
- Qusay H. Mahmoud, Zakaria Maamar:
Editorial message: special track on handheld computing. 984-985 - Jörg Roth:
Detecting identifiable areas in mobile environments. 986-991 - David Parsons
:
Extending the location API for J2ME to support friend finder services. 992-996 - Ronny Kramer, Marko Modsching, Klaus ten Hagen:
Field study on methods for elicitation of preferences using a mobile digital assistant for a dynamic tour guide. 997-1001 - Maria Andréia F. Rodrigues, Rafael G. Barbosa, Nabor C. Mendonça
:
Interactive Mobile 3D Graphics for on-the-go visualization and walkthroughs. 1002-1007 - Dongsong Zhang, George Karabatis, Zhiyuan Chen, Boonlit Adipat, Liwei Dai, Zhenxue Zhang, Yu Wang:
Personalization and visualization on handheld devices. 1008-1012 - Moushumi Sharmin, Shameem Ahmed, Sheikh Iqbal Ahamed:
Ubicomp assistant: an omnipresent customizable service using MARKS (middleware adaptability for resource discovery, knowledge usability and self-healing). 1013-1017
Information access and retrieval (IAR)
- Fabio Crestani, Gabriella Pasi
:
Editorial message: special track on information access and retrieval. 1018-1019 - Yangjun Chen, Yong Shi, Yibin Chen:
Tree inclusion algorithm, signatures and evaluation of path-oriented queries. 1020-1025 - Jun Wang, Johan A. Pouwelse
, Reginald L. Lagendijk, Marcel J. T. Reinders:
Distributed collaborative filtering for peer-to-peer file sharing systems. 1026-1030 - Jacques Savoy:
Light stemming approaches for the French, Portuguese, German and Hungarian languages. 1031-1035 - François Jacquenet, Christine Largeron:
Using the structure of documents to improve the discovery of unexpected information. 1036-1042 - Ari Pirkola, Jarmo Toivonen, Heikki Keskustalo, Kalervo Järvelin:
FITE-TRT: a high quality translation technique for OOV words. 1043-1049 - Yoshinori Hijikata, Kazuhiro Iwahama, Shogo Nishida:
Content-based music filtering system with editable user profile. 1050-1057 - Filippo Geraci
, Marco Pellegrini
, Paolo Pisati, Fabrizio Sebastiani
:
A scalable algorithm for high-quality clustering of web snippets. 1058-1062 - Maristella Agosti
, Nicola Ferro
, Nicola Orio:
Graph-based automatic suggestion of relationships among images of illuminated manuscripts. 1063-1067 - Zoltán Szlávik
, Anastasios Tombros, Mounia Lalmas:
Investigating the use of summarisation for interactive XML retrieval. 1068-1072 - Ross Tailby, Richard Dean, Ben Milner, Dan J. Smith:
Email classification for automated service handling. 1073-1077 - M. Elena Renda
, Umberto Straccia:
Automatic structured query transformation over distributed digital libraries. 1078-1083 - Euripides G. M. Petrakis, Klaydios Kontis, Epimenidis Voutsakis, Evangelos E. Milios:
Relevance feedback methods for logo and trademark image retrieval on the web. 1084-1088 - Randa Kassab, Jean-Charles Lamirel:
An innovative approach to intelligent information filtering. 1089-1093 - Liang Chen, Shaozhi Ye, Xing Li:
Template detection for large scale search engines. 1094-1098 - Baoning Wu, Brian D. Davison
:
Undue influence: eliminating the impact of link plagiarism on web search rankings. 1099-1104 - Helmut Berger, Dieter Merkl, Michael Dittenbach:
Exploiting partial decision trees for feature subset selection in e-mail categorization. 1105-1109
Poster papers
- Mark Baillie, Leif Azzopardi, Fabio Crestani:
An evaluation of resource description quality measures. 1110-1111 - David Kensche, Christian Seeling, Andreas Becks:
MonA: an extensible framework for web document monitoring. 1112-1113 - Karen Sauvagnat
, Lobna Hlaoua, Mohand Boughanem:
XML retrieval: what about using contextual relevance? 1114-1115 - Markus Zanker, Sergiu Gordea:
Recommendation-based browsing assistance for corporate knowledge portals. 1116-1117 - Bracha Shapira
, Meirav Taieb-Maimon, Anny Moskowitz:
Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests. 1118-1119
Mobile computing and applications (MCA)
- Hong Va Leong, Alvin T. S. Chan:
Editorial message: special track on mobile computing and applications. 1120-1121 - Alok Madhukar, Reda Alhajj:
An adaptive energy efficient cache invalidation scheme for mobile databases. 1122-1126 - Tatsuo Nakajima:
How to reuse exisiting interactive applications in ubiquitous computing environments? 1127-1133 - Tansir Ahmed, Kyandoghere Kyamakya, Markus Ludwig:
Design and implementation of a context-aware decision algorithm for heterogeneous networks. 1134-1138 - Thi Khoi Anh Phan, Zahir Tari
, Peter Bertók
:
A benchmark on soap's transport protocols performance for mobile applications. 1139-1144 - Marco de Sá, Luís Carriço:
Handheld devices for cooperative educational activities. 1145-1149 - Byunggu Yu
:
A spatiotemporal uncertainty model of degree 1.5 for continuously changing data objects. 1150-1155 - Dongkeun Lee, Jaepil Yoo, Hyunsik Kang, Keecheon Kim, Kyunglim Kang:
Distributed IPv6 addressing technique for mobile ad-hoc networks. 1156-1160 - Jian Zhai, Xiang Li, Qing Li:
Statistical buffering for streaming media data access in a mobile environment. 1161-1165 - Marcos Forte, Wanderley Lopes de Souza, Antônio Francisco do Prado:
A content classification and filtering server for the internet. 1166-1171 - Mahmoud Youssef
, Nabil R. Adam, Vijayalakshmi Atluri
:
Semantically enhanced enforcement of mobile consumer's privacy preferences. 1172-1176 - Hao-Ping Hung, Jen-Wei Huang, Jung-Long Huang, Ming-Syan Chen:
Scheduling dependent items in data broadcasting environments. 1177-1181
Poster papers
- Julie Doyle, Michela Bertolotto:
Combining speech and pen input for effective interaction in mobile geospatial environments. 1182-1183 - Maria Luisa Damiani, Elisa Bertino:
Architectural issues for a location-aware role-based access control system. 1184-1185
Model transformation (MT 2006)
- Jean Bézivin, Alfonso Pierantonio, Antonio Vallecillo:
Special track on model transformation (MT 2006). 1186-1187 - Frédéric Jouault, Ivan Kurtev
:
On the architectural alignment of ATL and QVT. 1188-1195 - Jordi Cabot
, Ernest Teniente:
Transforming OCL constraints: a context change approach. 1196-1201 - Ivan Kurtev, Klaas van den Berg, Frédéric Jouault:
Evaluation of rule-based modularization in model transformation languages illustrated with ATL. 1202-1209 - Ragnhild Van Der Straeten, Maja D'Hondt:
Model refactorings through rule-based inconsistency resolution. 1210-1217 - Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Software performance model-driven architecture. 1218-1223 - Nicolas Guelfi, Amel Mammar:
A formal framework to generate XPDL specifications from UML activity diagrams. 1224-1231 - Paloma Cáceres, Valeria de Castro, Juan M. Vara
, Esperanza Marcos
:
Model transformations for hypertext modeling on web information systems. 1232-1239 - Chouki Tibermacine, Régis Fleurquin, Salah Sadou
:
Simplifying transformation of software architecture constraints. 1240-1244 - Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira:
Describing dynamic software architectures using an extended UML model. 1245-1249 - T. Katsimpa, Yannis Panagis, Evangelos Sakkopoulos, Giannis Tzimas, Athanasios K. Tsakalidis:
Application modeling using reverse engineering techniques. 1250-1255 - Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio:
Weaving concerns in model based development of data-intensive web applications. 1256-1261 - Jan Mendling, Michael Moser, Gustaf Neumann:
Transformation of yEPC business process models to YAWL. 1262-1266 - Marcus Alanen, Torbjörn Lundkvist, Ivan Porres:
Reconciling diagrams after executing model transformations. 1267-1272 - Lukasz Dobrzanski, Ludwik Kuzniarz:
An approach to refactoring of executable UML models. 1273-1279 - András Balogh, Dániel Varró:
Advanced model transformation language constructs in the VIATRA2 framework. 1280-1287 - András Balogh, Gergely Varró, Dániel Varró, András Pataricza:
Compiling model transformations to EJB3-specific transformer plugins. 1288-1295 - Laurence Tratt:
The MT model transformation language. 1296-1303
Poster papers
- Richard F. Paige, Dimitrios S. Kolovos
, Fiona Polack:
An action semantics for MOF 2.0. 1304-1305 - Walter Cazzola, Antonio Cicchetti
, Alfonso Pierantonio:
Towards a model-driven join point model. 1306-1307 - Rubby Casallas, Milena Vela, Catalina Acero, Nicolás López:
xEAI-rules: executable models to simulate enterprise application cooperation. 1308-1309
More accurate computation: methods and software (MCMS)
- Alexey Ershov, Andrey Naraikin, Sergey Maidanov:
Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures. 1310-1317 - Florent de Dinechin, Christoph Quirin Lauter, Guillaume Melquiond:
Assisted verification of elementary functions using Gappa. 1318-1322 - Stef Graillat, Philippe Langlois, Nicolas Louvet:
Improving the compensated Horner scheme with a fused multiply and add. 1323-1327 - Sylvie Boldo, César A. Muñoz:
Provably faithful evaluation of polynomials. 1328-1332
Multimedia and Visualization (MV)
- Chaman L. Sabharwal, Mingjun Zhang:
MultiMedia and visualization track. 1333-1334 - Juw Won Park, James F. Cremer, Alberto M. Segre:
Visual exploration of genetic likelihood space. 1335-1340 - Maria Calagna, Huiping Guo, Luigi V. Mancini, Sushil Jajodia:
A robust watermarking system based on SVD compression. 1341-1347 - Harry W. Agius, Marios C. Angelides:
MPEG-7 in action: end user experiences with COSMOS-7 front end systems. 1348-1355 - Shiaofen Fang, Pooja Gupta:
Boundary surface extraction and rendering for volume datasets. 1356-1360 - Daisuke Kitayama, Kazutoshi Sumiya:
An evaluation system for news video streams and blogs. 1361-1368 - Jamal E. Rougui, Mohammed Rziza, Driss Aboutajdine, Marc Gelgon, José Martinez:
Hierarchical organization of a set of Gaussian mixture speaker models for scaling up indexing and retrieval in audio documents. 1369-1373 - Paola Bertolotti, Ombretta Gaggi, Maria Luisa Sapino:
Dynamic context adaptation in multimedia documents. 1374-1379 - Susan Elias, K. S. Easwarakumar, Richard Chbeir
:
Dynamic consistency checking for temporal and spatial relations in multimedia presentations. 1380-1384 - Virginie Sans, Dominique Laurent:
Navigating with inheritance in hypermedia presentations. 1385-1392 - Danzhou Liu, Kien A. Hua, Khanh Vu, Ning Yu:
Efficient target search with relevance feedback for large CBIR systems. 1393-1397
Poster Papers
- Joaquim Cezar Felipe
, Paulo M. Azevedo-Marques, André G. R. Balan, Caetano Traina Jr., Agma J. M. Traina:
Comparing images with distance functions based on attribute interaction. 1398-1399 - Youssef Hadi, Fedwa Essannouni, Rachid Oulad Haj Thami:
Video summarization by k-medoid clustering. 1400-1401
Object-oriented programming languages and systems (OOPS)
- Davide Ancona, Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems. 1402-1403 - Friedrich Steimann
, Philip Mayer, Andreas Meissner:
Decoupling classes with inferred interfaces. 1404-1408 - Diego Puppin, Fabrizio Silvestri:
The social network of Java classes. 1409-1413 - Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre:
powerJava: ontologically founded roles in object oriented programming languages. 1414-1418 - Lei Wang, Xikun Sun:
Escape analysis for synchronization removal. 1419-1423 - Antoine Beugnard:
Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components. 1424-1428 - Giovanni Lagorio, Elena Zucca:
Introducing safe unknown types in Java-like languages. 1429-1434 - Atsushi Igarashi
, Hideshi Nagira:
Union types for object-oriented programming. 1435-1441 - Nigamanth Sridhar:
Dynamic instantiation-checking components. 1442-1446
Poster papers
- Umesh Bellur:
On using OO techniques to establish workflow conformance. 1447-1448
Operating systems and adaptive applications (OSAA)
- Jiman Hong, Tei-Wei Kuo
:
Editorial message: special track on operating systems and adaptive applications. 1449-1450 - Wan-Chen Lu, Jen-Wei Hsieh, Wei-Kuan Shih:
A precise schedulability test algorithm for scheduling periodic tasks in real-time systems. 1451-1455 - Heejune Ahn, Hyukjun Oh, Chang Oan Sung:
Towards reliable OSGi framework and applications. 1456-1461 - Li-Pin Chang:
Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems. 1462-1466 - Mônica Corrêa, Avelino Francisco Zorzo, Roque Scheer:
Operating system multilevel load balancing. 1467-1471 - Sangho Yi, Junyoung Heo, Yookun Cho, Jiman Hong:
Adaptive page-level incremental checkpointing based on expected recovery time. 1472-1476 - Jongmoo Choi, Seungjae Baek, Sung Y. Shin:
Design and implementation of a kernel resource protector for robustness of Linux module programming. 1477-1481 - Sungju Kwon, Jaeyoung Choi, Kumwon Cho:
Light-weight service-oriented grid application toolkit. 1482-1486 - Muhammad Farooq, Fabrice Muller, Michel Auguin:
Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks. 1487-1492
Poster papers
- Junyoung Heo, Yookun Cho, Gwangil Jeon, Haklin Kimm:
The overhead model of word-level and page-level incremental checkpointing. 1493-1494
Organizational engineering (OE)
- José M. Tribolet, Robert Winter, Artur Caetano
:
Editorial message: special track on organizational engineering (OE). 1495-1496 - Karl Cox, Steven J. Bleistein, Peter Reynolds, Alan Thorogood:
A contingency view of organizational infrastructure requirements engineering. 1497-1504 - Jan Mendling, Jan Recker
, Michael Rosemann
, Wil M. P. van der Aalst
:
Generating correct EPCs from configured C-EPCs. 1505-1510 - Nikolaus Müssigmann, Antonia Albani:
Supplier network management: evaluating and rating of strategic supply networks. 1511-1515 - Peter Bollen:
Conceptual process configurations in enterprise knowledge management systems. 1516-1523 - Oliver Thomas, Masahiro Horiuchi, Masao Tanaka:
Towards a reference model management system for business engineering. 1524-1531 - Beate List, Birgit Korherr:
An evaluation of conceptual business process modelling languages. 1532-1539 - Bruce Rowlands:
The user as social actor: a focus on systems development methodology enactment. 1540-1545 - Susanne Leist, Gregor Zellner:
Evaluation of current architecture frameworks. 1546-1553 - Princely Ifinedo, Nazmun Nahar:
Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups. 1554-1560
Poster Papers
- Robert Winter, Joachim Schelp:
Reference modeling and method construction: a design science perspective. 1561-1562 - Doji Samson Lokku, Kesav V. Nori:
Morphogenetic constraint-satisfaction based approach for organizational engineering. 1563-1564 - Artur Caetano
, José M. Tribolet
:
Modeling organizational actors and business processes. 1565-1566 - Elvira Rolón Aguilar, Francisco Ruiz, Félix García
, Mario Piattini:
Evaluation measures for business process models. 1567-1568
Programming for separation of concerns (PSC)
- Paulo Henrique M. Maia, Nabor C. Mendonça
, Vasco Furtado
, Walfredo Cirne, Katia Barbosa Saikoski:
A process for separation of crosscutting grid concerns. 1569-1574 - Stefan Hanenberg, Mohammed Al-Mansari, Rainer Unland:
Aspect-specification based on structural type information. 1575-1579 - Ian Welch, Fan Lu:
Policy-driven reflective enforcement of security policies. 1580-1584 - Xiaoqing Wu, Barrett R. Bryant, Jeffrey G. Gray
, Suman Roychoudhury, Marjan Mernik:
Separation of concerns in compiler development using aspect-orientation. 1585-1590 - Giuseppe Pappalardo, Emiliano Tramontana:
Automatically discovering design patterns and assessing concern separations for applications. 1591-1596
Poster Papers
- Jennifer Pérez, Elena Navarro, Patricio Letelier, Isidro Ramos:
Graphical modelling for aspect oriented SA. 1597-1598 - Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott:
A semantic model for safe protocol interaction. 1599-1600
Programming languages (PL)
- Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant:
Editorial message: programming languages track. 1601-1602 - Robert Giegerich, Peter Steffen:
Challenges in the compilation of a domain specific language for dynamic programming. 1603-1609 - Calle Lejdfors, Lennart Ohlsson:
Implementing an embedded GPU language by combining translation and generation. 1610-1614 - Johan Fabry
, Theo D'Hondt:
KALA: Kernel Aspect language for advanced transactions. 1615-1620 - James Sasitorn, Robert Cartwright:
Efficient first-class generics on stock Java virtual machines. 1621-1628
Poster Papers
- Emanuela P. Lins, Ulrik Pagh Schultz:
Supporting transparent evolution of component interfaces. 1629-1630 - Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal:
A deterministic technique for extracting keyword based grammar rules from programs. 1631-1632
Reliable computations and their applications (RCA)
- Martine Ceberio, Vladik Kreinovich, Michel Rueher:
Editorial: track reliable computations and their applications. 1633-1634 - René Alt, Jean Luc Lamotte
, Svetoslav Markov:
On the numerical solution to linear problems using stochastic arithmetic. 1635-1639 - Evgeny Dantsin, Alexander Wolpert, Vladik Kreinovich:
Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems. 1640-1644 - Michael Orshansky, Wei-Shen Wang, Martine Ceberio, Gang Xiang:
Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips. 1645-1649 - Alexandre Goldsztejn:
A branch and prune algorithm for the approximation of non-linear AE-solution sets. 1650-1654 - Stef Graillat, Philippe Langlois:
Pseudozero set of interval polynomials. 1655-1659
Poster Papers
- Carlos Grandón, Alexandre Goldsztejn:
Inner approximation of distance constraints with existential quantification of parameters. 1660-1661
Semantic-based resource discovery, retrieval and composition (RDRC)
- Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
:
Editorial message: semantic-based resource discovery, retrieval and composition track. 1662-1663 - Mick Kerrigan:
Web service selection mechanisms in the Web Service Execution Environment (WSMX). 1664-1668 - Hai Jin, Xiaoming Ning, Hanhua Chen, Zuoning Yin:
Efficient query routing for information retrieval in semantic overlays. 1669-1673 - Hongding Wang, Shiwei Tang, Yunhai Tong, Dongqing Yang:
An approach for identifying attribute correspondences in multilingual schemas. 1674-1678 - Steffen Lamparter, Björn Schnizler:
Trading services in ontology-driven markets. 1679-1683 - Abraham Bernstein, Christoph Kiefer:
Imprecise RDQL: towards generic retrieval in ontologies using similarity joins. 1684-1689 - Glêdson Elias da Silveira, Michael Schuenck, Yuri Negócio, Jorge Dias Jr., Sindolfo Miranda Filho:
X-ARM: an asset representation model for component repository systems. 1690-1694 - Claudia d'Amato, Nicola Fanizzi, Floriana Esposito:
A dissimilarity measure for ALC concept descriptions. 1695-1699 - Peng Yan, Yu Jiao, Ali R. Hurson
, Thomas E. Potok:
Semantic-based information retrieval of biomedical data. 1700-1704
Poster Papers
- John Gilman:
Dynamic service discovery and mediation in the insurance industry. 1705-1706 - Devis Bianchini, Valeria De Antonellis, Michele Melchiori:
Hybrid ontology-based matchmaking for service discovery. 1707-1708 - Tommaso Di Noia, Eugenio Di Sciascio, Francesco di Cugno, Eufemia Tinelli, Francesco M. Donini:
A framework for content-based image retrieval fully exploiting the semantics of annotation. 1709-1710
Software engineering: sound solutions for the 21
- Stefan Gruner, Sung Shin:
Editorial message. 1711-1712 - Deepak Advani, Youssef Hassoun, Steve Counsell:
Extracting refactoring trends from open-source software and a possible solution to the 'related refactoring' conundrum. 1713-1720 - Luis Reynoso, Marcela Genero, Mario Piattini, M. Esperanza Manso:
Does object coupling really affect the understanding and modifying of OCL expressions? 1721-1727 - W. Eric Wong, Jin Zhao, Victor K. Y. Chan:
Applying statistical methodology to optimize and simplify software metric models with missing data. 1728-1733 - Valerio Schiavoni, Vivien Quéma:
A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures. 1734-1738 - Subhajit Datta, Robert van Engelen:
Effects of changing requirements: a tracking mechanism for the analysis workflow. 1739-1744 - Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel:
SEC: a search engine for component based software development. 1745-1750 - Gautier Bastide, Abdelhak Seriai
, Mourad Oussalah:
Adapting software components by structure fragmentation. 1751-1758 - Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gervais:
Supporting transparent model update in distributed CASE tool integration. 1759-1766 - Gerardo Canfora, Luigi Cerulo:
Supporting change request assignment in open source development. 1767-1772 - Bow-Yaw Wang:
Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study. 1773-1778 - Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan:
Automated generation of monitors for pattern contracts. 1779-1784 - Pietro Colombo, Matteo Pradella, Matteo Rossi:
A UML 2-compatible language and tool for formal modeling real-time system architectures. 1785-1790 - Kai Chen, Fan Jiang, Chuan-dong Huang:
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences. 1791-1797
Poster Papers
- Philippe Collet, Alain Ozanne, Nicolas Rivierre:
On contracting different behavioral properties in component-based systems. 1798-1799 - Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit:
Verification of a scheduler in B through a timed automata specification. 1800-1801 - Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
A security specification verification technique based on the international standard ISO/IEC 15408. 1802-1803
Software verification (SV)
- Hugues Malgouyres, Gilles Motet:
A UML model consistency verification approach based on meta-modeling formalization. 1804-1809 - Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani:
Modere: the model-checking engine of Rebeca. 1810-1815 - Cong-Cong Xing:
Enhancing program verifications by restricting object types. 1816-1821 - Damiano Zanardini
:
Abstract non-interference in a fragment of Java bytecode. 1822-1826 - Guillaume Capron:
Static analysis of time bounded reactive properties of Boolean symbols. 1827-1834 - Lilian Burdy, Mariela Pavlova:
Java bytecode specification and verification. 1835-1839 - Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz:
Transformation of B specifications into UML class diagrams and state machines. 1840-1844 - Iman Poernomo:
The meta-object facility typed. 1845-1849
Poster Papers
- Jianmin Jiang, Jinzhao Wu, Donghuo Chen:
Symmetry in event structures. 1850-1851 - Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang:
ARCATS: a scalable compositional analysis tool suite. 1852-1853
Trust, recommendations, evidence, and other collaborative know-how (TRECK)
- Jean-Marc Seigneur, Christian Damsgaard Jensen:
Editorial message: second special track on trust, recommendations, evidence and other collaboration know-how (TRECK'06). 1854 - Jianshu Weng, Chunyan Miao, Angela Goh:
Improving collaborative filtering with trust-based metrics. 1860-1864 - Claudia Hess, Klaus Stein, Christoph Schlieder:
Trust-enhanced visibility for personalized document recommendations. 1865-1869 - Daniele Quercia, Manish Lad, Stephen Hailes, Licia Capra, Saleem Bhatti:
STRUDEL: supporting trust in the dynamic establishment of peering coalitions. 1870-1874 - Fabrício Benevenuto
, Cristiano P. Costa, Marisa A. Vasconcelos, Virgílio A. F. Almeida, Jussara M. Almeida, Miranda Mowbray:
Impact of peer incentives on the dissemination of polluted content. 1875-1879 - Yanjun Zuo, Brajendra Panda:
Information trustworthiness evaluation based on trust combination. 1880-1885 - Wanita Sherchan, Seng Wai Loke, Shonali Krishnaswamy:
A fuzzy model for reasoning about reputation in web services. 1886-1892 - Evangelos Kotsovinos, Aled Williams:
BambooTrust: practical scalable trust management for global public computing. 1893-1897
Poster Papers
- Uwe Roth, Volker Fusenig:
Trust-decisions on the base of maximal information of recommended direct-trust. 1898-1901
Ubiquitous computing (UC)
- Achilles Kameas, George Roussos
:
Editorial message: special track on ubiquitous computing. 1900-1901 - Matthias Kranz, Paul Holleis, Albrecht Schmidt:
Ubiquitous presence systems. 1902-1909 - Gary Hoi Kit Lam, Hong Va Leong
, Stephen Chi-fai Chan
:
BBQ: group-based querying in a ubiquitous environment. 1910-1914 - Paolo Pellegrino, Dario Bonino, Fulvio Corno:
Domotic house gateway. 1915-1920 - Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, Maria Tortorella:
Hiding complexity and heterogeneity of the physical world in smart living environments. 1921-1927
Poster Papers
- Albrecht Schmidt, Lucia Terrenghi:
Methods and guidelines for the design and development of domestic ubiquitous computing applications. 1928-1929
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.