![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
24th SAC 2009: Honolulu, Hawaii, USA
- Sung Y. Shin, Sascha Ossowski:
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. ACM 2009, ISBN 978-1-60558-166-8
Computer networks track
- Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli
:
Network protocol interoperability testing based on contextual signatures and passive testing. 2-7 - Juan Carlos García, Stefan Beyer, Pablo Galdámez:
Cross-layer cooperation between membership estimation and routing. 8-15 - Edoardo Biagioni
, Yingfei Dong, Wesley Peterson, Kazuo Sugihara:
Practical distributed voter-verifiable secret ballot system. 16-21 - Piyush Harsh
, Richard E. Newman:
Using geo-spatial session tagging for smart multicast session discovery. 22-27 - Zhuhua Cai, Ruichuan Chen, Jianqiao Feng, Cong Tang, Zhong Chen, Jian-bin Hu:
A holistic mechanism against file pollution in peer-to-peer networks. 28-34 - Daniel M. Batista, André C. Drummond
, Nelson Luis Saldanha da Fonseca
:
Robust scheduler for grid networks. 35-39 - Etienne C. R. de Oliveira, Célio Vinicius N. de Albuquerque
:
NECTAR: a DTN routing protocol based on neighborhood contact history. 40-46 - Udaya Kiran Tupakula, Vijay Varadharajan
, Srini Rao Pandalaneni:
DoSTRACK: a system for defending against DoS attacks. 47-53 - Keith Needels, Minseok Kwon:
Secure routing in peer-to-peer distributed hash tables. 54-58 - Jianping He, Jiahai Yang, Changqing An, Xuenong Li:
BPR: a bit-level packet recovery in wireless sensor networks. 59-65 - Virginia N. L. Franqueira
, Raul H. C. Lopes, Pascal van Eck:
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients. 66-73 - Rafael Esteves, Antônio Jorge Gomes Abelém, Michael A. Stanton:
Quality of service management in GMPLS-based grid OBS networks. 74-78 - Mei-Ling Chiang
, Chun-Hung Wu, Yi-Jiun Liao, Yu-Fen Chen:
New content-aware request distribution policies in web clusters providing multiple services. 79-83
Poster papers
- Cong Tang, Ruichuan Chen, Zhuhua Cai, Anmin Xie, Jian-bin Hu, Liyong Tang, Zhong Chen:
Securing key issuing in peer-to-peer networks. 84-85 - Alexandre Passito, Edjair de Souza Mota, Edjard Mota:
Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS. 86-87 - Cássio M. M. Pereira, César A. C. Teixeira, Daniel Corrêa Lobato
, Maria da Graça Campos Pimentel:
Preservation of ordering in a network of brokers. 88-89
Human-computer interaction track
- Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang Zhang
:
Towards "WYDIWYS" for MIMI using concept analysis. 91-97 - Farida Bouarab-Dahmani, Malik Si-Mohammed, Catherine Comparot
, Pierre-Jean Charrel:
Learners automated evaluation with the ODALA approach. 98-103 - Patrícia Augustin Jaques
, Matheus Lehmann, Sylvie Pesty:
Evaluating the affective tactics of an emotional pedagogical agent. 104-109 - Lorena Lira de Menezes, Mariana Romão do Nascimento, José Eustáquio Rangel de Queiroz, Joseana Macêdo Fechine:
Expert system for supporting conformity inspections of software application interfaces to the ISO 9241. 110-115 - Américo Talarico Neto, Thiago J. Bittar, Renata Pontin de Mattos Fortes
, Kátia Romero Felizardo
:
Developing and evaluating web multimodal interfaces - a case study with usability principles. 116-120 - João Carlos Silva
, João Saraiva
, José Creissac Campos
:
A generic library for GUI reasoning and testing. 121-128 - Sabina Jeschke
, Olivier Pfeiffer, Helmut Vieritz:
Using web accessibility patterns for web application development. 129-135 - Yohei Tokoro, Tsutomu Terada
, Masahiko Tsukamoto:
A pointing method using two accelerometers for wearable computing. 136-141 - Carol Heins Gonzales, Gondy Leroy, Gianluca De Leo
:
Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism. 142-146 - Rui Lopes, Konstantinos Votis
, Luís Carriço
, Dimitrios Tzovaras
, Spiridon D. Likothanassis:
Towards the universal semantic assessment of accessibility. 147-151
Poster papers
- Ana Luiza Dias, Júnia Coutinho Anacleto Silva, Luciana Martha Silveira, Rosângela Dellosso Penteado:
Formalizing motivational patterns based on colors and their cultural meanings for developing web applications. 152-153 - Masakatsu Miyamoto, Tsutomu Terada
, Masahiko Tsukamoto:
Design and implementation on a pie menu interface for analog joysticks. 154-155 - Inês Oliveira
, Rui Lopes, Nuno Guimarães
:
Development of a biosignals framework for usability analysis. 156-157 - Francisco Gomes de Oliveira Neto
, Joseana M. Fechine, Roberta Ribeiro G. Pereira:
MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks. 158-159
Mobile computing and applications track
- Wendel Bezerra Silva, Maria Andréia Formico Rodrigues
:
A lightweight 3D visualization and navigation system on handheld devices. 162-166 - Lorena F. Maia, Danilo F. S. Santos
, Ricardo S. Souza, Angelo Perkusich
, Hyggo Oliveira de Almeida
:
Seamless access of home theater personal computers for mobile devices. 167-171 - Marion G. Ceruti, Vincent Vinh Dinh, Nghia Xuan Tran, Hoa Van Phan, LorRaine Duffy, Tu-Anh Ton, Guy Leonard, Emily W. Medina, Omar Amezcua, Sunny Fugate, Gary J. Rogers, Robert Luna, Jeffrey Ellen:
Wireless communication glove apparatus for motion tracking, gesture recognition, data transmission, and reception in extreme environments. 172-176 - Tommi Mikkonen, Antero Taivalsaari
:
Creating a mobile web application platform: the lively kernel experiences. 177-184 - Gustavo Medeiros de Araújo, Frank Siqueira:
The device service bus: a solution for embedded device integration through web services. 185-189 - Kohei Tanaka, Yasue Kishino, Tsutomu Terada
, Shojiro Nishio:
A destination prediction method using driving contexts and trajectory for car navigation systems. 190-195 - Hyelim Park, Myungchul Kim, Sooyong Lee, Sungwon Kang, Yongho Kim:
A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks. 196-200 - Sumesh J. Philip, Vishal Anand:
Mobility aware path maintenance in ad hoc networks. 201-206 - Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca
:
A passive conformance testing approach for a MANET routing protocol. 207-211 - Natallia Kokash
, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny:
A flexible QoS-aware routing protocol for infrastructure-less B3G networks. 212-216
Poster papers
- Jiang Yu Zheng:
Scene map on wireless mobile platform. 217-218 - Mehrab Monjur, Sheikh Iqbal Ahamed:
Towards a landmark influence framework to protect location privacy. 219-220 - Vando de Freitas Batista, Nelson Souto Rosa
:
High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case. 221-222
Organizational engineering track
- Peter Rittgen:
Collaborative modeling of business processes: a comparative case study. 225-230 - Kai M. Hüner, Martin Ofner, Boris Otto
:
Towards a maturity model for corporate data quality management. 231-238 - Diana Heckl, Jürgen Moormann:
Operational control of service processes: modularization as precondition. 239-244 - Martin Op't Land
, Hans Zwitzer, Paul Ensink, Quentin Lebel:
Towards a fast enterprise ontology based method for post merger integration. 245-252 - Artur Caetano
, António Rito Silva
, José M. Tribolet
:
A role-based enterprise architecture framework. 253-258 - Jay Ramanathan, Rajiv Ramnath, Randall Glassgow:
The people, the process or the technology?: Using the ACE framework to make tradeoffs in service delivery improvement. 259-264 - Stephan Kurpjuweit, Robert Winter:
Concern-oriented business architecture engineering. 265-272 - Joe Bolinger, Greg Horvath, Jay Ramanathan, Rajiv Ramnath:
Collaborative workflow assistant for organizational effectiveness. 273-280
Poster papers
- Rafael Paim
, Vanessa Tavares Nunes, Bruno Pinho, Flávia Maria Santoro, Claudia Cappelli, Fernanda Araújo Baião
:
Structuring a process management center of excellence. 281-282 - Viara Popova, Alexei Sharpanskykh:
Constraint-based modelling and analysis of organisations. 283-284 - Wilco Engelsman, Maria-Eugenia Iacob, Henry M. Franken:
Architecture-driven requirements engineering. 285-286
Operating systems track
- Bongjae Kim
, Sangho Yi, Yookun Cho, Jiman Hong:
Impact of function inlining on resource-constrained embedded systems. 287-292 - Tomohiro Katori, Lei Sun, Dennis K. Nilsson, Tatsuo Nakajima:
Building a self-healing embedded system in a multi-OS environment. 293-298 - Xiaojun Ruan, Adam Manzanares, Kiranmai Bellam, Xiao Qin, Ziliang Zong:
DARAW: a new write buffer to improve parallel I/O energy-efficiency. 299-304 - Junghoon Lee, Gyung-Leen Park, Shafqat Ur Rehman:
A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks. 305-309 - Hideki Eiraku, Yasushi Shinjo, Calton Pu, Younggyun Koh, Kazuhiko Kato:
Fast networking with socket-outsourcing in hosted virtual machine environments. 310-317 - Jongmin Lee, Eujoon Byun, Hanmook Park, Jongmoo Choi, Donghee Lee, Sam H. Noh:
CPS-SIM: configurable and accurate clock precision solid state drive simulator. 318-325 - Toshihiro Yokoyama, Miyuki Hanaoka, Makoto Shimamura, Kenji Kono:
Simplifying security policy descriptions for internet servers in secure operating systems. 326-333 - Sherif Fadel Fahmy
, Binoy Ravindran
, E. Douglas Jensen:
Response time analysis of software transactional memory-based distributed real-time systems. 334-338
Poster papers
- Sangho Yi, Hong Min, Yookun Cho, Yeongkwun Kim, Injoo Jeong:
Arbiter-Recall: a new function update scheme by arbitration between a remote call and a dynamic update for wireless sensor networks. 339-340 - Hyo J. Lee, In Hwan Doh, Sam H. Noh:
RPP: reference pattern based prefetching controller. 341-342 - Hyungsoo Jung, Hyuck Han, Shin Gyu Kim, Heon Young Yeom:
A practical evaluation of large-memory data processing on a reliable remote memory system. 343-344
Requirement engineering track
- Haihua Xie, Lin Liu, Jingwei Yang:
i*-prefer: optimizing requirements elicitation process based on actor preferences. 347-354 - Travis D. Breaux
, Jonathan D. Lewis, Paul N. Otto, Annie I. Antón:
Identifying vulnerabilities and critical requirements using criminal court proceedings. 355-359 - Kristina Winbladh, Hadar Ziv, Debra J. Richardson:
Eliciting required characteristics for usable requirements engineering approaches. 360-364 - Daniel Sinnig, Patrice Chalin, Ferhat Khendek
:
LTS semantics for use case models. 365-370 - Ken Decreus, Geert Poels
:
Mapping semantically enriched Formal Tropos to business process models. 371-376 - Ermeson Carneiro de Andrade
, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou
, Bruno Costa e Silva Nogueira
, Carlos Araújo:
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. 377-381 - Christine Choppy, Gianna Reggio:
A method for developing UML state machines. 382-388 - Sam Supakkul, Lawrence Chung:
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach. 389-394
Poster papers
- Ing Widya, Bert-Jan van Beijnum, Richard Bults, Valerie M. Jones, Hermie J. Hermens, Leif Sandsjö, Leendert Schaake
, M. H. A. Huis in't Veld:
Early phase requirements assessment of a teletreatment trial. 395-396 - Karen Smiley, Qingfeng He, Elizabeth Kielczewski, Aldo Dagnino:
Architectural requirements prioritization and analysis applied to software technology evaluation. 397-398 - Shunichi Suzuki, Akira Osada, Tomonori Sato, Haruhiko Kaiya, Masaaki Tanigawa, Kenji Kaijiri:
A systematic method for generating quality requirements spectrum. 399-400 - Christoph Becker, Andreas Rauber:
Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation. 401-402
Software engineering track
- Néstor Cataño, Tim Wahls:
Executing JML specifications of Java card applications: a case study. 404-408 - Rui Abreu
, Wolfgang Mayer
, Markus Stumptner, Arjan J. C. van Gemund:
Refining spectrum-based fault localization rankings. 409-414 - Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance. 415-421 - Tsong Yueh Chen
, Dehao Huang, Fei-Ching Kuo, Robert G. Merkel
, Johannes Mayer:
Enhanced lattice-based adaptive random testing. 422-429 - Zhanqi Cui
, Linzhang Wang, Xuandong Li, Dianxiang Xu:
Modeling and integrating aspects with UML activity diagrams. 430-437 - Johannes Bohnet, Stefan Voigt, Jürgen Döllner:
Projecting code changes onto execution traces to support localization of recently introduced bugs. 438-442 - Chih-Hung Chang
, Chih-Wei Lu, William C. Chu, Nien-Lin Hsueh, Chorng-Shiuh Koong:
A case study of pattern-based software framework to improve the quality of software development. 443-447 - Mariano Ceccato
, Paolo Tonella
, Mila Dalla Preda, Anirban Majumdar:
Remote software protection by orthogonal client replacement. 448-455 - Flávia Coimbra Delicato, Isanio L. Araujo Santos, Paulo F. Pires
, Ana Liz S. Oliveira, Thaís Vasconcelos Batista
, Luci Pirmez:
Using aspects and dynamic composition to provide context-aware adaptation for mobile applications. 456-460 - Adam M. Smith, Gregory M. Kapfhammer:
An empirical study of incorporating cost into test suite reduction and prioritization. 461-467 - Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
:
Towards a compositional approach to model transformation for software development. 468-475 - Otávio Augusto Lazzarini Lemos
, Sushil Krishna Bajracharya, Joel Ossher, Paulo César Masiero, Cristina Videira Lopes:
Applying test-driven code search to the reuse of auxiliary functionality. 476-482 - Sarthak Grover, Nigamanth Sridhar:
GenQA: automated addition of architectural quality attribute support for Java software? 483-487 - Nathan V. Roberts, Eunjee Song, Paul C. Grabow:
Model interfaces for two-way obliviousness. 488-495 - Mikael Lindvall, Raimund L. Feldmann, George Karabatis, Zhiyuan Chen, Vandana Pursnani Janeja:
Searching for relevant software change artifacts using semantic networks. 496-500 - Tomás Bures
, Petr Hnetynka
, Michal Malohlava:
Using a product line for creating component systems. 501-508 - Francisco J. Pino
, Félix García
, Mario Piattini
:
Key processes to start software process improvement in small companies. 509-516 - Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung:
Failure management development for integrated automotive safety-critical software systems. 517-521 - Baris Aktemur, Sam Kamin:
A comparative study of techniques to write customizable libraries. 522-529 - Misook Choi, Injoo J. Kim, Jiman Hong, Jung-Yeop Kim:
Component-based metrics applying the strength of dependency between classes. 530-536
Poster papers
- Norman F. Schneidewind, Mike Hinchey
:
A consumer/producer approach to risk-driven software reliability and testing. 537-538 - Rubén Mondéjar, Pedro García López, Carles Pairot, Pascal Urso, Pascal Molli:
Designing a distributed AOP runtime composition model. 539-540 - Hector Miguel Chavez, Wuwei Shen, Shaoying Liu:
An approach to detection of UML-based ownership violation. 541-542 - Ziad Al-Sharif
, Clinton L. Jeffery:
An extensible source-level debugger. 543-544 - Eunjee Song, Hanil Kim, Wuliang Sun:
A property-based verification approach in aspect-oriented modeling. 545-546 - Chorng-Shiuh Koong, Ching-Meng Lee, Deng-Jyi Chen, Chih-Hung Chang
, Chihhsiong Shih:
The visual authoring tool of flash-based component for interactive item template. 547-548 - Chunying Zhao, Kang Zhang, Yu Lei:
Abstraction of multiple executions of object-oriented programs. 549-550
Software verification and testing track
- Renato Cherini, Javier O. Blanco:
Local reasoning for abstraction and sharing. 552-557 - Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Huafang Tan:
An optimized change-driven regression testing selection strategy for binary Java applications. 558-565 - Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich:
The synergy of precise and fast abstractions for program verification. 566-573 - Fernando R. C. Silva, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
An approach for component testing and its empirical validation. 574-581 - Sergio Giro, Pedro R. D'Argenio
:
On the verification of probabilistic I/O automata with unspecified rates. 582-586 - Clément Hurlin:
Specifying and checking protocols of multithreaded classes. 587-592 - Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties. 593-600 - Iman Narasamdya, Michaël Périn:
Certification of smart-card applications in common criteria. 601-608 - Perry R. James, Patrice Chalin:
Extended static checking in JML4: benefits of multiple-prover support. 609-614 - K. Rustan M. Leino, Rosemary Monahan
:
Reasoning about comprehensions with first-order SMT solvers. 615-622
Web technologies track
- Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira
:
Implementing rigorous web services with process algebra: navigation plan for web services. 625-631 - Martin Necaský
, Irena Mlýnková
:
Discovering XML keys and foreign keys in queries. 632-638 - Irena Mlýnková
, Martin Necaský
:
Towards inference of more realistic XSDs. 639-646 - Janne Kuuskeri, Tommi Mikkonen:
Partitioning web applications between the server and the client. 647-652 - Mikko Pohja:
Server push with instant messaging. 653-658 - Diogo Santana Martins, Mauro Biajiz, Antônio Francisco do Prado, Wanderley Lopes de Souza:
Implicit relevance feedback for context-aware information retrieval in UbiLearning environments. 659-663 - Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata
:
An optimistic technique for transactions control using REST architectural style. 664-669 - Kay-Uwe Schmidt, Tobias Sarnow, Ljiljana Stojanovic:
Socially filtered web search: an approach using social bookmarking tags to personalize web search. 670-674 - Cássio V. S. Prazeres, César A. C. Teixeira, Ethan V. Munson, Maria da Graça Campos Pimentel:
Semantic web services: from OWL-S via UML to MVC applications. 675-680 - Angelo Di Iorio
, Davide Rossi, Fabio Vitali
, Stefano Zacchiroli
:
Where are your manners?: Sharing best community practices in the web 2.0. 681-687
Poster papers
- Shinobu Izumi, Toshihiro Uchibayashi, Takaichi Yoshida:
Designing of a system model for web 3D disabled access GIS on web 2.0. 688-689 - Cristiano Maciel
, Vinícius Carvalho Pereira
, Licinio Roque
, Ana Cristina Bicharra Garcia
:
Identifying discourse mistakes in web debates: moderation in the DCC. 690-691 - Reginaldo Mendes, Paulo F. Pires
, Flávia Coimbra Delicato, Thaís Vasconcelos Batista
:
WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes. 692-693 - Ivo Calado, Heitor Barros, Ig Ibert Bittencourt
:
An approach for semantic web services automatic discovery and composition with similarity metrics. 694-695
Agent-oriented software engineering methodologies and systems track
- Ambra Molesini, Enrico Denti
, Elena Nardini, Andrea Omicini
:
Situated process engineering for integrating processes from methodologies to infrastructures. 699-706 - Juan C. García-Ojeda, Scott A. DeLoach, Robby:
agentTool process editor: supporting the design of tailored agent-based processes. 707-714 - Massimo Cossentino
, Luca Sabatucci
, Valeria Seidita:
A collaborative tool for designing and enacting design processes. 715-721 - Mauro Dragone
, David Lillis
, Rem W. Collier
, Gregory M. P. O'Hare
:
SoSAA: a framework for integrating components & agents. 722-728
Poster papers
- Ingrid Nunes
, Uirá Kulesza, Camila Nunes, Elder Cirilo, Carlos José Pereira de Lucena:
Extending PASSI to model multi-agent systems product lines. 729-730 - Elder Cirilo, Ingrid Nunes
, Uirá Kulesza, Camila Nunes, Carlos José Pereira de Lucena:
Automatic product derivation of multi-agent systems product lines. 731-732
Agreement technologies track
- Jordi Campos Miralles, Maite López-Sánchez
, Marc Esteva:
Multi-agent system adaptation in a peer-to-peer scenario. 735-739 - Roberto Centeno
, Holger Billhardt
, Ramón Hermoso
, Sascha Ossowski
:
Organising MAS: a formal model based on organisational mechanisms. 740-746 - Matteo Vasirani, Sascha Ossowski
:
Market-based coordination for intersection control. 747-751 - Javier Palanca Cámara
, Vicente J. Botti
, Ana García-Fornes
:
Towards organizational agent-oriented operating systems. 752-756
Bioinformatics track
- Paola Lecca
, Alida Palmisano, Corrado Priami, Guido Sanguinetti
:
A new probabilistic generative model of parameter inference in biochemical networks. 758-765 - Bhanu Rekapalli, Christian Halloy, Igor B. Zhulin
:
HSP-HMMER: a tool for protein domain identification on a large scale. 766-770 - Jiao Li, Pamela Crowell, Jake Yue Chen
:
Construct anticancer drug-drug correlation network. 771-775 - Francesca Cordero
, Alessia Visconti
, Marco Botta:
A new protein motif extraction framework based on constrained co-clustering. 776-781 - Nicolay Postarnakevich, Rahul Singh:
Global-to-local representation and visualization of molecular surfaces using deformable models. 782-787 - Chihyun Park, Youngmi Yoon, Jaegyoon Ahn, Myungjin Moon, Sanghyun Park:
A novel approach to detect copy number variation using segmentation and genetic algorithm. 788-792 - Kevin Kontos, Gianluca Bontempi
:
An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models. 793-798 - Akther Shermin, Mehmet A. Orgun
:
Using dynamic bayesian networks to infer gene regulatory networks from expression profiles. 799-803
Poster papers
- Carlile Lavor
, Leo Liberti
, Antonio Mucherino
, Nelson Maculan:
On a discretizable subclass of instances of the molecular distance geometry problem. 804-805 - Catia Pesquita
, Daniel Faria
, Francisco M. Couto
:
Measuring coherence between electronic and manual annotations in biological databases. 806-807 - Ján Manuch, Ladislav Stacho, Christine Stoll:
Two lower bounds for self-assemblies at temperature 1. 808-809
Computer application in health care track
- Luciano Vieira de Araújo, Sabri S. Sanabani
, Ester C. Sabino, João Eduardo Ferreira
:
HIVSetSubtype: software for subtype classification of HIV-1 sequences. 811-815 - Bernardo Gonçalves, Veruska Zamborlini
, Giancarlo Guizzardi
, José Gonçalves Pereira Filho:
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web. 816-820 - Cléber Gimenez Corrêa
, Fátima L. S. Nunes
, Adriano Bezerra, Paulo M. Carvalho Jr.:
Evaluation of VR medical training applications under the focus of professionals of the health area. 821-825 - Adebayo Olowoyeye, Mihran Tuceryan, Shiaofen Fang:
Medical volume segmentation using bank of Gabor filters. 826-829 - Yan Zhang, Peter J. Passmore, Richard H. Bayford:
Task based visualization of 5D brain EIT data. 831-835 - Fabrício Pretto
, Isabel Harb Manssour, Maria H. Itaqui Lopes, Emerson Rodrigues da Silva, Márcio Sarroglia Pinho
:
Augmented reality environment for life support training. 836-841 - Florian F. Schmitzberger, Justus E. Roos, Sandy Napel, Geoffrey D. Rubin
, David S. Paik:
Thin client architecture in support of remote radiology learning. 842-846 - Sofia J. Athenikos, Hyoil Han, Ari D. Brooks:
A framework of a logic-based question-answering system for the medical domain (LOQAS-Med). 847-851 - Shiaofen Fang, Ying Liu, Jeffrey Huang, Sophia Vinci-Booher
, Bruce Anthony, Feng Zhou:
Facial image classification of mouse embryos for the animal model study of fetal alcohol syndrome. 852-856
Poster papers
- Thomas Neubauer, Andreas Ekelhart
:
An evaluation of technologies for the pseudonymization of medical data. 857-858 - Mohamad El Habbal, Maya El Moghrabi, Omar Monajjed, Ayman I. Kayssi:
Automated device for determination of skin lesion regions. 859-860
Computer forensics track
- Chang-Keon Ryu, Hyong-Jun Kim, Hwan-Gue Cho:
A detecting and tracing algorithm for unauthorized internet-news plagiarism using spatio-temporal document evolution model. 863-868 - Alana Platt, Saket S. R. Mengle, Nazli Goharian:
Improving classification based off-topic search detection via category relationships. 869-874 - Wayne Liu, Sudhir Aggarwal, Zhenhai Duan:
Incorporating accountability into internet email. 875-882 - Bruno W. P. Hoelz, Célia Ghedini Ralha
, Rajiv Geeverghese:
Artificial intelligence applied to computer forensics. 883-888
Poster papers
- Chun Wei, Alan P. Sprague, Gary Warner
:
Clustering malware-generated spam emails with a novel fuzzy string matching algorithm. 889-890 - Chengcui Zhang, Wei-bang Chen, Xin Chen, Gary Warner
:
Revealing common sources of image spam by unsupervised clustering with visual features. 891-892 - Marlos A. O. Marques, Cinthia O. A. Freitas:
Reconstructing strip-shredded documents using color as feature matching. 893-894 - Damir Kahvedzic, M. Tahar Kechadi
:
On the persistence of deleted windows registry data structures. 895-896
Computational intelligence and image analysis track
- Khalil Djelloul:
From exponential to almost linear decomposability of finite or infinite trees. 897-902 - Glenn Flora, Mihran Tuceryan, Herbert Blitzer:
Forensic bite mark identification using image processing methods. 903-907 - Jana Stanclová:
On the complexity of hierarchical associative memories. 908-913 - Hong Liu, Siguang Dai, Enmin Song, Cihui Yang, Chih-Cheng Hung:
A new K-View algorithm for texture image classification using rotation-invariant feature. 914-921 - Dario Landa Silva
, Fathima Marikar, Khoi Le:
Heuristic approach for automated shelf space allocation. 922-928 - Changming Xu, Zongmin Ma
, Xinhe Xu:
A method to construct knowledge table-base in k-in-a-row games. 929-933 - Ana Luísa Dine Martins, Murillo R. P. Homem, Nelson D. A. Mascarenhas:
Super-resolution image reconstruction using the generalized isotropic multi-level logistic model. 934-938
Poster papers
- Amirali Jazayeri, Hongyuan Cai, Jiang Yu Zheng, Mihran Tuceryan, Herbert Blitzer:
An intelligent video system for vehicle localization and tracking in police cars. 939-940 - Dongshan Huang, Enmin Song, Guangzhi Ma, Huirong Zhan, Chih-Cheng Hung:
A new cross-training approach by using labeled data. 941-942 - Xiaoying Sha, Xiaobai Liu, Jianting Wen:
Foreground classification using active template in the scene context for visual surveillance. 943-944 - Jae-Ho Lee, Min-Hee Jang, Du-Yeol Kim, Sang-Wook Kim, Min-Ho Kim, Jin-Sung Choi:
Shader space navigator: a turbo for an intuitive and effective shading process. 945-946
Computational sciences track
- Cecilia R. Aragon, Karl J. Runge:
Workflow management for high volume supernova search. 949-955 - Haiyan Cheng, Adrian Sandu:
Uncertainty apportionment for air quality forecast models. 956-960 - Christof Vömel, Stanimire Tomov
, Osni Marques:
Bulk based preconditioning for quantum dot computations. 961-965 - Chuan-Ju Wang, Tian-Shyr Dai, Yuh-Dauh Lyuu
, Yen-Chun Liu:
An efficient and accurate lattice for pricing derivatives under a jump-diffusion process. 966-970 - H. Martin Bücker
, Arno Rasch, Volker Rath, Andreas Wolf:
Semi-automatic parallelization of direct and inverse problems for geothermal simulation. 971-975 - John C. Linford, Adrian Sandu:
Vector stream processing for effective application of heterogeneous parallelism. 976-980 - Amrita Mathuriya, David A. Bader
, Christine E. Heitsch, Stephen C. Harvey:
GTfold: a scalable multicore code for RNA secondary structure prediction. 981-988 - Ioana Cipcigan, Muruhan Rathinam:
Interlaced Euler scheme for stiff systems of stochastic differential equations. 989-994 - Pilsung Kang, Yang Cao, Naren Ramakrishnan
, Calvin J. Ribbens, Srinidhi Varadarajan:
Modular implementation of adaptive decisions in stochastic simulations. 995-1001 - Wolfgang Bangerth
, Amit Joshi
:
Adaptive finite element methods for nonlinear inverse problems. 1002-1006
Poster papers
- Hao Wang, Vladimir D. Tonchev
:
An algorithm for optimal comma free codes with isomorphism rejection. 1007-1008 - Akiyoshi Wakatani, Takuya Koezuka:
Reduced parallel PNN algorithm for PC grid systems. 1009-1010 - Nima Namaki, Andreas de Blanche, Stefan Mankefors-Christiernin:
Exhaustion dominated performance: a first attempt. 1011-1012
Dependable and adaptive distributed systems track
- Nianen Chen, Shangping Ren:
Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications. 1015-1020 - Romain Rouvoy
, Frank Eliassen, Mikaël Beauvois:
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services. 1021-1028 - Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter:
Formalizing the notion of adaptive system behavior. 1029-1033 - Vinicius Petrucci, Orlando Loques, Daniel Mossé:
A framework for dynamic adaptation of power-aware server clusters. 1034-1039 - Mohammad Gias Uddin, Mohammad Zulkernine:
ATM: an automatic trust monitoring algorithm for service software. 1040-1044 - Haifeng Chen, Guofei Jiang, Hui Zhang, Kenji Yoshihira:
Boosting the performance of computing systems through adaptive configuration tuning. 1045-1049 - Ke Liang, Xingshe Zhou, Ruiqing Sheng, Kailong Zhang:
Adaptive resource management architecture for distributed real-time embedded systems. 1050-1055 - Nuno Santos, Martin Hutle, André Schiper:
Latency-aware leader election. 1056-1061 - Md. Endadul Hoque, Farzana Rahman, Sheikh Iqbal Ahamed:
Supporting recovery, privacy and security in RFID systems using a robust authentication protocol. 1062-1066 - Raphael Y. de Camargo, Fernando Castor Filho
, Fabio Kon
:
Efficient maintenance of distributed data in highly dynamic opportunistic grids. 1067-1071
Poster papers
- Min Liu, Dianfu Ma, Yongwang Zhao:
An approach to identifying conversation dependency in service oriented system during dynamic evolution. 1072-1073
Applications of evolutionary computation track
- Ya Gao, Guangquan Zhang
, Jie Lu
:
A particle swarm optimization based algorithm for fuzzy bilevel decision making with constraints-shared followers. 1075-1079 - Haifeng Chen, Guofei Jiang:
A gradient oriented recombination scheme for evolution strategies. 1080-1084 - Márcio P. Basgalupp
, Rodrigo C. Barros
, André Carlos Ponce de Leon Ferreira de Carvalho
, Alex Alves Freitas, Duncan D. Ruiz
:
LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction. 1085-1090 - Azin Moallem, Simone A. Ludwig:
Using artificial life techniques for distributed grid job scheduling. 1091-1097 - Kiyeok Park, Taejin Park, Kwang Ryel Ryu:
Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms. 1098-1105
Poster papers
- Tezuka Masaru, Munakata Satoshi:
Daily demand forecasting of new products utilizing diffusion models and genetic algorithms. 1106-1107
Geometric constraints and reasoning track
- Nicolas Magaud
, Julien Narboux
, Pascal Schreck:
Formalizing Desargues' theorem in Coq using ranks. 1110-1115 - John C. Owen, Steve C. Power:
Infinite bar-joint frameworks. 1116-1121 - Heping Gao, Meera Sitharam:
Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces. 1122-1126 - Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White:
Body-and-cad geometric constraint systems. 1127-1131 - Tetsuo Ida, Hidekazu Takahashi:
Origami fold as algebraic graph rewriting. 1132-1137
Poster papers
- Jianliang Tang, Nengzeng Liu:
The unique solution for P3P problem. 1138-1139 - Jin-San Cheng, Xiao-Shan Gao, Jia Li:
Topology determination and isolation for implicit plane curves. 1140-1141 - Markus Färber, Beat D. Brüderlin:
Multivariate root finding with search space decomposition and randomisation. 1142-1143
Intelligent robotic systems track
- Christopher A. Brooks, Karl Iagnemma:
Visual detection of novel terrain via two-class classification. 1145-1150 - Thomas Müller, Alois C. Knoll:
Attention driven visual processing for an interactive dialog robot. 1151-1155 - Milton Roberto Heinen, Paulo Martins Engel:
Evaluation of visual attention models under 2D similarity transformations. 1156-1160 - Milton Roberto Heinen, Fernando Santos Osório
:
Evolving morphologies and gaits of physically realistic simulated robots. 1161-1165 - Hannah Hoersting, Lesia Bilitchenko, Zachary Dodds:
Visual loop-closing with image profiles. 1166-1170 - Stelios Timotheou
, Georgios Loukas
:
Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios. 1171-1175 - Evan M. Drumwright, Dylan A. Shell:
A robust and tractable contact model for dynamic robotic simulation. 1176-1180 - Stephen Berard, Binh Nguyen, Jeffrey C. Trinkle:
Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate. 1181-1185
Poster papers
- André Scolari Conceição
, A. Paulo Moreira
, Paulo José Costa
:
A nonlinear mobile robot modeling applied to a model predictive controller. 1186-1187 - Devin Smith, Zachary Dodds:
Visual navigation: image profiles for odometry and control. 1188-1189
Self-organization in pervasive distributed systems track
- Jose Luis Fernandez-Marquez
, Josep Lluís Arcos
:
Keeping diversity when exploring dynamic environments. 1192-1196 - Jacob Beal
:
Flexible self-healing gradients. 1197-1201 - Gabriella Castelli, Ronaldo Menezes
, Franco Zambonelli
:
Self-organized control of knowledge generation in pervasive computing systems. 1202-1208 - Gian Paolo Jesi, Edoardo Mollona, Srijith K. Nair, Maarten van Steen:
Prestige-based peer sampling service: interdisciplinary approach to secure gossip. 1209-1213 - Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden:
Geographical data collection in sensor networks with self-organizing transaction cluster-heads. 1214-1218
Poster papers
- Francesco Aymerich, Gianni Fenu
, Simone Surcis:
A real time financial system based on grid and cloud computing. 1219-1220 - Mirko Viroli
, Matteo Casadei, Sara Montagna
, Franco Zambonelli
:
A biochemical metaphor for developing eternally adaptive service ecosystems. 1221-1222 - Holger Kasinger, Jörg Denzinger
, Bernhard Bauer:
Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. 1223-1224
The semantic web and applications track
- Francisco Echarte, José Javier Astrain
, Alberto Córdoba, Jesús E. Villadangos
:
Improving folksonomies quality by syntactic tag variations grouping. 1226-1230 - Jinghua Groppe, Sven Groppe
, Sebastian Ebers, Volker Linnemann:
Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns. 1231-1238 - Sven Groppe
, Jana Neumann, Volker Linnemann:
SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types. 1239-1246 - Luke Steller, Shonali Krishnaswamy:
Efficient mobile reasoning for pervasive discovery. 1247-1251 - Lamia Abo Zaid, Frederic Kleinermann, Olga De Troyer:
Applying semantic web technology to feature modeling. 1252-1256 - Sivaramakrishnan Narayanan, Ümit V. Çatalyürek
, Tahsin M. Kurç, Joel H. Saltz:
Parallel materialization of large ABoxes. 1257-1261 - Seongwook Youn, Dennis McLeod:
Spam decisions on gray e-mail using personalized ontologies. 1262-1266 - Serge Boucher, Esteban Zimányi:
Leveraging OWL for GIS interoperability: rewards and pitfalls. 1267-1272
Poster papers
- Krishnaprasad Thirunarayan, Joshua Pschorr:
Semantic information and sensor networks. 1273-1274 - Samir Tartir, Bobby McKnight, Ismailcem Budak Arpinar:
SemanticQA: web-based ontology-driven question answering. 1275-1276
Trust, reputation, evidence and other collaboration know-how track
- Ting-Chun Peng, Seng-cho Timothy Chou:
iTrustU: a blog recommender system based on multi-faceted trust and collaborative filtering. 1278-1285 - Justin King, Kiran Lakkaraju, Adam J. Slagell:
A taxonomy and adversarial model for attacks against network log anonymization. 1286-1293 - Sebastian Ries:
Extending Bayesian trust models regarding context-dependence and user friendly representation. 1294-1301 - Trung Dong Huynh
:
A personalized framework for trust assessment. 1302-1307 - Yafei Yang
, Yan Lindsay Sun, Steven Kay, Qing Yang:
Defending online reputation systems against collaborative unfair raters through signal modeling and trust. 1308-1315
Poster papers
- Takuya Kobayashi, Hiroaki Ohshima
, Satoshi Oyama, Katsumi Tanaka:
Modeling and analyzing review information on the web focusing on credibility. 1316-1317
Advances in spatial and image-based information systems track
- Marta Fort
, Joan Antoni Sellarès
:
GPU-based computation of distance functions on road networks with applications. 1320-1324 - Hye-Young Kang, Joon-Seok Kim, Ki-Joune Li:
Similarity measures for trajectory of moving objects in cellular space. 1325-1330 - Micheal Baechler, Jean-Luc Bloechle, Jean Hennebert:
Labeled images verification using Gaussian mixture models. 1331-1335 - Thiago Luís Lopes Siqueira, Ricardo Rodrigues Ciferri, Valéria Cesário Times, Cristina Dutra de Aguiar Ciferri:
A spatial bitmap-based index for geographical data warehouses. 1336-1342
Coordination models, languages and applications track
- Massimiliano de Leoni
, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella
:
On-line adaptation of sequential mobile processes running concurrently. 1345-1352 - Mirko Viroli
, Matteo Casadei, Andrea Omicini
:
A framework for modelling and implementing self-organising coordination. 1353-1360 - Matteo Casadei, Andrea Omicini
:
Situated tuple centres in ReSpecT. 1361-1368 - Christian Koehler, Dave Clarke:
Decomposing port automata. 1369-1373 - Martin Murth, Eva Kühn:
Knowledge-based coordination with a reliable semantic subscription mechanism. 1374-1380
Poster papers
- Natallia Kokash
, Farhad Arbab:
Applying Reo to service coordination in long-running business transactions. 1381-1382
Constraint solving and programming track
- Alejandro Arbelaez
, Youssef Hamadi:
Exploiting weak dependencies in tree-based search. 1385-1391 - Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni:
Softening Gcc and Regular with preferences. 1392-1396 - Justin Yip, Pascal Van Hentenryck:
Length-lex bound consistency for knapsack constraints. 1397-1401 - Pham Quang Dung, Yves Deville, Pascal Van Hentenryck:
LS(graph & tree): a local search framework for constraint optimization on graphs and trees. 1402-1407 - Lukas Kroc, Ashish Sabharwal, Bart Selman:
Message-passing and local heuristics as decimation strategies for satisfiability. 1408-1414
Poster papers
- Tian Yang, Zaifei Liao, Xinjie Lv, Hongan Wang:
An approximate approach to constraint solving in soft sensing. 1415-1416 - Sebastian Brand:
The sum-of-increments constraint in the consecutive-ones matrix decomposition problem. 1417-1418
Data mining track
- Carlos Castro-Herrera, Chuan Duan, Jane Cleland-Huang, Bamshad Mobasher
:
A recommender system for requirements elicitation in large-scale software projects. 1419-1426 - Dipankar Bachar, Rosa Meo
:
A novel distance-based classifier built on pattern ranking. 1427-1432 - Luca Leonardi
, Salvatore Orlando
, Alessandra Raffaetà, Alessandro Roncato, Claudio Silvestri
:
Frequent spatio-temporal patterns in trajectory data warehouses. 1433-1440 - Zhongshan Lin, SeungJin Lim:
Optimal candidate generation in spatial co-location mining. 1441-1445 - Samah Jamal Fodeh, William F. Punch, Pang-Ning Tan
:
Combining statistics and semantics via ensemble model for document clustering. 1446-1450 - Toon Calders, Christian W. Günther, Mykola Pechenizkiy
, Anne Rozinat:
Using minimum description length for process mining. 1451-1455 - Keith Henderson, Tina Eliassi-Rad:
Applying latent dirichlet allocation to group discovery in large graphs. 1456-1461 - Zhipeng Xie:
Improved AdaBoost.M1 of decision trees with confidence-rated predictions. 1462-1466 - Clifford Conley Owens III, T. M. Murali, Naren Ramakrishnan
:
Capturing truthiness: mining truth tables in binary datasets. 1467-1474 - Carina Lopes, Gerson Zaverucha:
HTILDE: scaling up relational decision trees for very large databases. 1475-1479 - Youngho Kim, Yingshi Tian, Yoonjae Jeong, Jihee Ryu, Sung-Hyon Myaeng:
Automatic discovery of technology trends from patent text. 1480-1487
Poster papers
- Xuequn Shang, Zhanhuai Li, Wei Li:
Mining functional associated patterns from biological network data. 1488-1489
Data streams track
- Alice Marascu, Florent Masseglia:
Parameterless outlier detection in data streams. 1491-1495 - João Gama
, Pedro Pereira Rodrigues
, Raquel Sebastião
:
Evaluating algorithms that learn from data streams. 1496-1500 - Gordon J. Ross, Dimitris K. Tasoulis, Niall M. Adams:
Online annotation and prediction for regime switching data streams. 1501-1505 - Xiaomeng Wan, Evangelos E. Milios
, Nauzer Kalyaniwalla
, Jeannette C. M. Janssen
:
Link-based event detection in email communication networks. 1506-1510 - Marcel Karnstedt, Daniel Klan, Christian Pölitz, Kai-Uwe Sattler, Conny Franke:
Adaptive burst detection in a stream engine. 1511-1515
Poster papers
- Li Ma, Xin Li, Yongyan Wang, Hongan Wang:
Real-time scheduling for continuous queries with deadlines. 1516-1517 - Pimwadee Chaovalit
, Aryya Gangopadhyay:
A method for clustering transient data streams. 1518-1519 - Xinjie Lv, Tian Yang, Zaifei Liao, Manzoor Elahi, Wei Liu, Hongan Wang:
Incremental outlier detection in data streams using local correlation integral. 1520-1521
Data theory, technology, and applications track
- Noureddine Abbadeni:
Information retrieval from visual databases using multiple representations and multiple queries. 1523-1527 - Benjamin C. M. Fung
, Ming Cao, Bipin C. Desai, Heng Xu:
Privacy protection for RFID data. 1528-1535 - Lingbo Kong, Rémi Gilleron, Aurélien Lemay:
Retrieving valid matches for XML keyword search. 1536-1540 - Joubert de Castro Lima, Celso Massaki Hirata
:
Computing data cubes using exact sub-graph matching: the sequential MCG approach. 1541-1548 - Michael Henderson, Bryce Cutt, Ramon Lawrence:
Exploiting join cardinality for faster hash joins. 1549-1554 - Hadj Mahboubi, Jérôme Darmont:
Enhancing XML data warehouse query performance by fragmentation. 1555-1562 - Li Yan, Zong Min Ma
, Jian Liu:
Fuzzy data modeling based on XML schema. 1563-1567 - Sang-Chul Lee, Sang-Wook Kim, Junghoon Lee, Jae Soo Yoo:
Approximate indexing in road network databases. 1568-1572 - Sandra de Amo, Marcos Roberto Ribeiro
:
CPref-SQL: a query language supporting conditional preferences. 1573-1577 - Alain-Pierre Manine:
Learning the ontological theory of an information extraction system in the multi-predicate ILP setting. 1578-1582
Poster papers
- Weihai Yu:
Consistent and decentralized orchestration of BPEL processes. 1583-1584 - SungRan Cho, Wolf-Tilo Balke
:
Building an efficient preference XML query processor. 1585-1586
Enterprise information systems track
- Sebastian Höhn:
Model-based reasoning on the achievement of business goals. 1589-1593 - Arlindo L. Marcon Jr., Altair Olivo Santin
, Luiz A. de Paula Lima Jr., Maicon Stihler:
Policy management architecture based on provisioning model and authorization certificates. 1594-1598 - Silja Eckartz, Maya Daneva
, Roel J. Wieringa, Jos van Hillegersberg:
Cross-organizational ERP management: how to create a successful business case? 1599-1604 - Björn Johansson
, Rogério Atem de Carvalho
:
Management of requirements in ERP development: a comparison between proprietary and open source ERP. 1605-1609 - Shuting Xu, Shuhua Lai, Manying Qiu:
Privacy preserving churn prediction. 1610-1614
Poster papers
- Rik Eshuis
, Alex Norta
:
Constructing process views for service outsourcing. 1615-1616 - Hayley Bakker, Maria-Eugenia Iacob:
Web-services in the dutch healthcare insurance sector: expected versus achieved benefits. 1617-1618
Embedded systems track
- Zhanzhan Liu, Lihua Yue, Peng Wei, Peiquan Jin, Xiaoyan Xiang:
An adaptive block-set based management for large-scale flash memory. 1621-1625 - Nalini Vasudevan, Stephen A. Edwards
:
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. 1626-1631 - Cássio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha:
Improving functional verification of embedded systems using hierarchical composition and set theory. 1632-1636 - Meikang Qiu, Hao Li, Edwin Hsing-Mean Sha:
Heterogeneous real-time embedded software optimization considering hardware platform. 1637-1641 - Luís Tarrataca, André C. Santos, João M. P. Cardoso
:
The current feasibility of gesture recognition for a smartphone using J2ME. 1642-1649 - Clemens Moser, Jian-Jia Chen
, Lothar Thiele:
Optimal service level allocation in environmentally powered embedded systems. 1650-1657 - In Hwan Doh, Hyo J. Lee, Young Je Moon, Eunsam Kim
, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems. 1658-1663 - Soojun Im, Dongkun Shin:
Storage architecture and software support for SLC/MLC combined flash memory. 1664-1669 - Ji Chan Maeng, Jung-Il Kwon, Min-Kyu Sin, Minsoo Ryu:
RT-replayer: a record-replay architecture for embedded real-time software debugging. 1670-1675 - Siddharth Choudhuri, Tony Givargis:
FlashBox: a system for logging non-deterministic events in deployed embedded systems. 1676-1682
Poster papers
- Ryozo Kiyohara, Satoshi Mii, Mitsuhiro Matsumoto, Masayuki Numao, Satoshi Kurihara:
Method for fast compression of program codes for remote updates in embedded systems. 1683-1684 - Shouwen Lai, Binoy Ravindran
, Hyeonjoong Cho:
On scheduling soft real-time tasks with lock-free synchronization for embedded devices. 1685-1686 - Paolo Pagano
, Mangesh Chitnis, Antonio Romano, Giuseppe Lipari, Ricardo Severino
, Mário Alves
, Paulo G. Sousa, Eduardo Tovar
:
ERIKA and open-ZB: an implementation for real-time wireless networking. 1687-1688
Information access and retrieval track
- Yoshinori Hijikata, Bui Quang Hung, Masanori Otsubo, Shogo Nishida:
HITS algorithm improvement using anchor-related text extracted by DOM structure analysis. 1691-1698 - Tom Matthé, Guy De Tré:
Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees. 1699-1703 - Guy De Tré, Jozo J. Dujmovic, Nico Van de Weghe
, Tom Matthé, Niels Charlier:
Heterogeneous bipolar criteria satisfaction handling in geographical decision support systems: an LSP based approach. 1704-1708 - Le-Shin Wu, Filippo Menczer:
Diverse peer selection in collaborative web search. 1709-1713 - Chi Shen, Mike Unuakhalu:
A class of multistep sparse matrix strategies for concept decomposition matrix approximation. 1714-1718 - Alexander Höhfeld, Patrick Gratz, Angelo Beck, Jean Botev
, Hermann Schloss, Ingo Scholtes
:
Self-organizing collaborative filtering in global-scale massive multi-user virtual environments. 1719-1723 - Marjan Celikik, Hannah Bast:
Fast error-tolerant search on very large texts. 1724-1731 - Mariam Daoud, Lynda Tamine-Lechani, Mohand Boughanem, Bilal Chebaro:
A session based personalized search using an ontological user profile. 1732-1736 - Wai Gen Yee, Linh Thai Nguyen, Ophir Frieder:
Alternatives to conjunctive query processing in peer-to-peer file-sharing systems. 1737-1741 - Shizhu Liu, Yuval Merhav, Wai Gen Yee, Nazli Goharian, Ophir Frieder:
A sentence level probabilistic model for evolutionary theme pattern mining from news corpora. 1742-1747
Poster papers
- Patrick Bosc, Olivier Pivert, Olivier Soufflet:
Stratified division queries involving ordinal user preferences. 1748-1749 - Tianjiang Wang, Gang Chen, Perfecto Herrera:
Music retrieval based on a multi-samples selection strategy for support vector machine active learning. 1750-1751 - Chandan Kumar, Prasad Pingali, Vasudeva Varma
:
A light-weight summarizer based on language model with relative entropy. 1752-1753 - Seongwook Youn, Dennis McLeod:
Improved spam filtering by extraction of information from text embedded image e-mail. 1754-1755
Multimedia and visualization track
- Roberto Pinho, Maria Cristina Ferreira de Oliveira
, Alneu de Andrade Lopes:
Incremental board: a grid-based space for visualizing dynamic data sets. 1757-1764 - Valter Roesler, Ronaldo Husemann, Carlos Haas Costa:
A new multimedia synchronous distance learning system: the IVA study case. 1765-1770 - Antonio d'Acierno
, Vincenzo Moscato
, Antonio Picariello
:
A recommendation system for browsing digital libraries. 1771-1778 - Jinmi Kang, Gyeongeun Goh, Kidong Chung:
A new inter-layer prediction scheme for spatial scalability with different frame rates. 1779-1783 - Chul-Jin Jang, Taijin Yoon, Hwan-Gue Cho:
A smart clustering algorithm for photo set obtained from multiple digital cameras. 1784-1791 - Moses Schwartz, Curtis Hash, Lorie M. Liebrock:
Term distribution visualizations with Focus+Context. 1792-1799 - Pushpa Kumar, Kang Zhang:
Visualization of clustered directed acyclic graphs with node interleaving. 1800-1805 - Rahul Singh, Bibek D. Bhhatarai:
Information-theoretic identification of content pages for analyzing user information needs and actions on the multimedia web. 1806-1810 - Sunghwan Chun, Seo-Young Lee, Kwang-Mu Shin, Ki-Dong Chung:
An enhanced multi-view video compression using the constrained inter-view prediction. 1811-1815 - Omar U. Florez, SeungJin Lim:
Discovery of time series in video data through distribution of spatiotemporal gradients. 1816-1820 - Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Renato Cerqueira, Simone Diniz Junqueira Barbosa
:
Variable handling in time-based XML declarative languages. 1821-1828 - César A. C. Teixeira, Erick Lazaro Melo, Renan G. Cattelan
, Maria da Graça Campos Pimentel:
User-media interaction with interactive TV. 1829-1833 - Giliard Brito de Freitas, César Augusto Camillo Teixeira:
Ubiquitous services in home networks offered through digital TV. 1834-1838
Poster papers
- Duy-Dinh Le, Shin'ichi Satoh:
Efficient concept detection by fusing simple visual features. 1839-1840 - Shin Gyu Kim, Hyuck Han, Kyungho Jeon, Hyungsoo Jung, Heon Young Yeom:
Visualization of information flows in a very large social network. 1841-1842 - Damon Shing-Min Liu, Chi-Hsien Liu, Ching-I Cheng:
Two-dimensional non-photorealistic drawings on mobile devices. 1843-1844 - Gyeongeun Goh, Jinmi Kang, Misook Cho, Kidong Chung:
Fast mode decision for scalable video coding based on neighboring macroblock analysis. 1845-1846 - João Bosco Ferreira Filho, José de S. R. Neto, Cláudio R. F. Lima, Rossana M. C. Andrade
:
A framework for text visualization using memory traffic management for mobile devices. 1847-1848
Object oriented programming languages and systems track
- Chieri Saito, Atsushi Igarashi:
Matching ThisType to subtyping. 1851-1858 - Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks
:
Static type inference for Ruby. 1859-1866 - Eduardo Kessler Piveta
, Marcelo Soares Pimenta, João Araújo
, Ana Moreira
, Pedro Guerreiro
, Roberto Tom Price:
Representing refactoring opportunities. 1867-1872 - David Lievens, William Harrison:
Symmetric encapsulated multi-methods to abstract over application structure. 1873-1880
Programming languages track
- Weihua Zhang, Lili Liu, Chen Zhang, HongJiang Zhang, Binyu Zang, Chuanqi Zhu:
Optimizing techniques for saturated arithmetic with first-order linear recurrence. 1883-1889 - David Briggs, Suad Alagic:
Algebraic specification techniques for parametric types with logic-based constraints. 1890-1897 - Paul Tarau:
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. 1898-1902 - Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel:
Banzai: a Java framework for the implementation of high-performance servers. 1903-1909 - Torben Æ. Mogensen:
Troll, a language for specifying dice-rolls. 1910-1915 - Paul Biggar, Edsko de Vries, David Gregg:
A practical solution for scripting language compilers. 1916-1923 - Akim Demaille, Roland Levillain, Benoît Sigoure:
TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing. 1924-1929 - Dongseok Jang, Kwang-Moo Choe:
Points-to analysis for JavaScript. 1930-1937
Poster papers
- Petr Krajca
, Vilém Vychodil:
Data parallel dialect of scheme: outline of the formal model, implementation, performance. 1938-1939 - Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki
:
Kenro: a virtual machine monitor mostly described in Haskell. 1940-1941
Programming for separation of concerns track
- Hans Schippers, Michael Haupt, Robert Hirschfeld:
An implementation substrate for languages composing modularized crosscutting concerns. 1944-1951 - Jiyong Park, Seongsoo Hong:
Building a customizable embedded operating system with fine-grained joinpoints using the AOX programming environment. 1952-1956 - Walter Cazzola
, Diego Colombo, Duncan Harrison:
Aspect-oriented procedural content engineering for game design. 1957-1962 - Peter Ebraert, Jorge Vallejos, Yves Vandewoude:
Flexible features: making feature modules more reusable. 1963-1970
Real-time systems track
- Leo Ordínez, David Donari, Rodrigo M. Santos
, Javier Orozco:
Resource sharing in behavioral based scheduling. 1972-1978 - Yu Liu, Wei Zhang:
Exploiting stack distance to estimate worst-case data cache performance. 1979-1983 - Dario Faggioli, Michael Trimarchi, Fabio Checconi:
An implementation of the earliest deadline first algorithm in Linux. 1984-1989 - Francisco José Monaco
, Michelle Nery, Maycon Leone Maciel Peixoto
:
An orthogonal real-time scheduling architecture for responsiveness QoS requirements in SOA environments. 1990-1995
Poster papers
- Alfredo Capozucca
, Nicolas Guelfi:
Designing reliable real-time concurrent object-oriented software systems. 1996-1997 - Tongquan Wei, Xiaodao Chen, Piyush Mishra:
Designing a multi-core hard real-time test bed for energy measurement experiments. 1998-1999
Computer security track
- Jaideep Vaidya:
Privacy-preserving linear programming. 2002-2007 - Florian Kerschbaum, Daniel Dahlmeier, Axel Schröpfer, Debmalya Biswas:
On the practical importance of communication complexity for secure multi-party computation protocols. 2008-2015 - Guido Schryen, Rouven Kadura:
Open source vs. closed source software: towards measuring security. 2016-2023 - Gavin O'Gorman, Stephen Blott:
Improving stream correlation attacks on anonymous networks. 2024-2028 - Flavio Lombardi
, Roberto Di Pietro
:
KvmSec: a security extension for Linux kernel virtual machines. 2029-2034 - Ricardo Villamarín-Salomón, José Carlos Brustoloni:
Bayesian bot detection based on DNS traffic similarity. 2035-2041 - Ching-Hao Mao, Hahn-Ming Lee, Devi Parikh, Tsuhan Chen
, Si-Yu Huang:
Semi-supervised co-training and active learning based approach for multi-view intrusion detection. 2042-2048 - Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell
, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman
:
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. 2049-2053 - Anyi Liu, Yi Yuan, Duminda Wijesekera, Angelos Stavrou
:
SQLProb: a proxy-based architecture towards preventing SQL injection attacks. 2054-2061 - Peter Djalaliev, José Carlos Brustoloni:
Secure web-based retrieval of documents with usage controls. 2062-2069
Advances in computer simulation track
- Jordi Pujol Ahulló, Pedro García López, Marc Sánchez Artigas, Marcel Arrufat-Arias:
An extensible simulation tool for overlay networks and services. 2072-2076 - Jason Leezer, Yu Zhang:
Simulating human intuitive decisions by Q-learning. 2077-2081 - Stefania Bandini
, Andrea Bonomi, Giuseppe Vizzari
:
Simulation supporting the design of self-organizing ambient intelligent systems. 2082-2086 - Fawzi Hassaïne, Russ Moulton, Chris Fink:
Composing a high fidelity HLA federation for littoral operations. 2087-2092 - Nuno Fachada
, Vitor V. Lopes
, Agostinho C. Rosa
:
Simulating antigenic drift and shift in influenza A. 2093-2100
Poster papers
- Davide Rossi, Elisa Turrini, Fabio Vitali
:
Simulating business processes with EPML.SIM. 2101-2102 - Matteo Casadei, Mirko Viroli
:
Using probabilistic model checking and simulation for designing self-organizing systems. 2103-2104 - Edgar F. Esteves, Rosaldo J. F. Rossetti
, Paulo A. F. Ferreira, Eugénio C. Oliveira
:
Conceptualization and implementation of a microscopic pedestrian simulation platform. 2105-2106 - Dylan A. Shell, Evan M. Drumwright:
Precise generalized contact point and normal determination for rigid body simulation. 2107-2108
Service oriented architectures and programming track
- Maurice H. ter Beek
, Franco Mazzanti
, Stefania Gnesi
:
CMC-UMC: a framework for the verification of abstract service-oriented properties. 2111-2117 - Sylvain Hallé
, Roger Villemaire:
Runtime monitoring of web service choreographies using streaming XML. 2118-2125 - Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán
, Ismael Caballero
:
PRECISO: a reengineering process and a tool for database modernisation through web services. 2126-2133 - Karolina Zurowska, Ralph Deters
:
Load management in model-aware execution of composite web services. 2134-2139 - Faramarz Safi Esfahani, Masrah Azrifah Azmi Murad
, Md Nasir Sulaiman, Nur Izura Udzir:
Using process mining to business process distribution. 2140-2145 - M. Brian Blake
, Michael F. Nowlan, Ajay Bansal, Srividya Kona:
Annotating UDDI registries to support the management of composite services. 2146-2153 - Paolo Anedda, Massimo Gaggero
, Simone Manca:
A general service oriented approach for managing virtual machines allocation. 2154-2161 - Stefan Thanheiser, Lei Liu, Hartmut Schmeck
:
SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems. 2162-2169
Poster papers
- Lei Liu, Stefan Thanheiser, Hartmut Schmeck
:
Assessing complexity of service-oriented computing using learning classifier systems. 2170-2171
Wireless sensor networks track
- Hyeonjae Jeon, Kwangjin Park, Hyunseung Choo:
Sink-oriented dynamic location service for shortest path relay with energy efficient global grid. 2174-2179 - Mustafa Hammad
, Jonathan E. Cook:
Lightweight monitoring of sensor software. 2180-2185 - Antonios Skordylis, Niki Trigoni
:
Jointly optimizing data acquisition and delivery in traffic monitoring VANETs. 2186-2190 - Paolo Pagano
, Francesco Piga, Yao Liang:
Real-time multi-view vision systems using WSNs. 2191-2196 - Junwhan Kim, Binoy Ravindran
:
Opportunistic real-time routing in multi-hop wireless sensor networks. 2197-2201
Poster papers
- Christoph Reinke, Nils Hoeller, Jana Neumann, Sven Groppe
, Volker Linnemann, Martin Lipphardt:
Integrating standardized transaction protocols in service-oriented wireless sensor networks. 2202-2203 - Sheikh Iqbal Ahamed, Donghyun Kim, Chowdhury Sharif Hasan, Mohammad Zulkernine:
Towards developing a trust-based security solution. 2204-2205
![](https://dblp.org/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.