24. SAC 2009:
Honolulu,
Hawaii,
USA
Sung Y. Shin, Sascha Ossowski (Eds.):
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 BibTeX
Computer networks track
- Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli:
Network protocol interoperability testing based on contextual signatures and passive testing.
2-7
Electronic Edition (ACM DL) BibTeX
- Juan Carlos García, Stefan Beyer, Pablo Galdámez:
Cross-layer cooperation between membership estimation and routing.
8-15
Electronic Edition (ACM DL) BibTeX
- Edoardo Biagioni, Yingfei Dong, Wesley Peterson, Kazuo Sugihara:
Practical distributed voter-verifiable secret ballot system.
16-21
Electronic Edition (ACM DL) BibTeX
- Piyush Harsh, Richard Newman:
Using geo-spatial session tagging for smart multicast session discovery.
22-27
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Daniel M. Batista, André C. Drummond, Nelson Luis Saldanha da Fonseca:
Robust scheduler for grid networks.
35-39
Electronic Edition (ACM DL) BibTeX
- Etienne C. R. de Oliveira, Célio V. N. de Albuquerque:
NECTAR: a DTN routing protocol based on neighborhood contact history.
40-46
Electronic Edition (ACM DL) BibTeX
- Udaya Kiran Tupakula, Vijay Varadharajan, Srini Rao Pandalaneni:
DoSTRACK: a system for defending against DoS attacks.
47-53
Electronic Edition (ACM DL) BibTeX
- Keith Needels, Minseok Kwon:
Secure routing in peer-to-peer distributed hash tables.
54-58
Electronic Edition (ACM DL) BibTeX
- Jianping He, Jiahai Yang, Changqing An, Xuenong Li:
BPR: a bit-level packet recovery in wireless sensor networks.
59-65
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Rafael Esteves, Antonio Abelém, Michael Stanton:
Quality of service management in GMPLS-based grid OBS networks.
74-78
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Alexandre Passito, Edjair de Souza Mota, Edjard Mota:
Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS.
86-87
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Human-computer interaction track
- Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang Zhang:
Towards "WYDIWYS" for MIMI using concept analysis.
91-97
Electronic Edition (ACM DL) BibTeX
- Farida Bouarab-Dahmani, Malik Si-Mohammed, Catherine Comparot, Pierre-Jean Charrel:
Learners automated evaluation with the ODALA approach.
98-103
Electronic Edition (ACM DL) BibTeX
- Patrícia Augustin Jaques, Matheus Lehmann, Sylvie Pesty:
Evaluating the affective tactics of an emotional pedagogical agent.
104-109
Electronic Edition (ACM DL) BibTeX
- Lorena Lira de Menezes, Mariana Romão do Nascimento, José Eustáquio Rangel de Queiroz, Joseana M. Fechine:
Expert system for supporting conformity inspections of software application interfaces to the ISO 9241.
110-115
Electronic Edition (ACM DL) BibTeX
- Americo Talarico Neto, Thiago J. Bittar, Renata Pontin de Mattos Fortes, Kátia Felizardo:
Developing and evaluating web multimodal interfaces - a case study with usability principles.
116-120
Electronic Edition (ACM DL) BibTeX
- João Carlos Silva, João Saraiva, José Creissac Campos:
A generic library for GUI reasoning and testing.
121-128
Electronic Edition (ACM DL) BibTeX
- Sabina Jeschke, Olivier Pfeiffer, Helmut Vieritz:
Using web accessibility patterns for web application development.
129-135
Electronic Edition (ACM DL) BibTeX
- Yohei Tokoro, Tsutomu Terada, Masahiko Tsukamoto:
A pointing method using two accelerometers for wearable computing.
136-141
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Rui Lopes, Konstantinos Votis, Luís Carriço, Dimitrios Tzovaras, Spiridon D. Likothanassis:
Towards the universal semantic assessment of accessibility.
147-151
Electronic Edition (ACM DL) BibTeX
Poster papers
Mobile computing and applications track
- Wendel B. Silva, Maria Andréia Formico Rodrigues:
A lightweight 3D visualization and navigation system on handheld devices.
162-166
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Tommi Mikkonen, Antero Taivalsaari:
Creating a mobile web application platform: the lively kernel experiences.
177-184
Electronic Edition (ACM DL) BibTeX
- Gustavo Medeiros Araújo, Frank Siqueira:
The device service bus: a solution for embedded device integration through web services.
185-189
Electronic Edition (ACM DL) BibTeX
- Kohei Tanaka, Yasue Kishino, Tsutomu Terada, Shojiro Nishio:
A destination prediction method using driving contexts and trajectory for car navigation systems.
190-195
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Sumesh J. Philip, Vishal Anand:
Mobility aware path maintenance in ad hoc networks.
201-206
Electronic Edition (ACM DL) BibTeX
- Ana R. Cavalli, Stéphane Maag, Edgardo Montes de Oca:
A passive conformance testing approach for a MANET routing protocol.
207-211
Electronic Edition (ACM DL) BibTeX
- Natallia Kokash, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny:
A flexible QoS-aware routing protocol for infrastructure-less B3G networks.
212-216
Electronic Edition (ACM DL) BibTeX
Poster papers
Organizational engineering track
- Peter Rittgen:
Collaborative modeling of business processes: a comparative case study.
225-230
Electronic Edition (ACM DL) BibTeX
- Kai M. Hüner, Martin Ofner, Boris Otto:
Towards a maturity model for corporate data quality management.
231-238
Electronic Edition (ACM DL) BibTeX
- Diana Heckl, Jürgen Moormann:
Operational control of service processes: modularization as precondition.
239-244
Electronic Edition (ACM DL) BibTeX
- Martin Op't Land, Hans Zwitzer, Paul Ensink, Quentin Lebel:
Towards a fast enterprise ontology based method for post merger integration.
245-252
Electronic Edition (ACM DL) BibTeX
- Artur Caetano, António Rito Silva, José M. Tribolet:
A role-based enterprise architecture framework.
253-258
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Stephan Kurpjuweit, Robert Winter:
Concern-oriented business architecture engineering.
265-272
Electronic Edition (ACM DL) BibTeX
- Joe Bolinger, Greg Horvath, Jay Ramanathan, Rajiv Ramnath:
Collaborative workflow assistant for organizational effectiveness.
273-280
Electronic Edition (ACM DL) BibTeX
Poster papers
Operating systems track
- Bongjae Kim, Sangho Yi, Yookun Cho, Jiman Hong:
Impact of function inlining on resource-constrained embedded systems.
287-292
Electronic Edition (ACM DL) BibTeX
- Tomohiro Katori, Lei Sun, Dennis K. Nilsson, Tatsuo Nakajima:
Building a self-healing embedded system in a multi-OS environment.
293-298
Electronic Edition (ACM DL) BibTeX
- Xiaojun Ruan, Adam Manzanares, Kiranmai Bellam, Xiao Qin, Ziliang Zong:
DARAW: a new write buffer to improve parallel I/O energy-efficiency.
299-304
Electronic Edition (ACM DL) BibTeX
- Junghoon Lee, Gyung-Leen Park, Shafqat-ur Rehman:
A real-time message scheduler support for dual-sink mobile ad-hoc sensor networks.
305-309
Electronic Edition (ACM DL) BibTeX
- Hideki Eiraku, Yasushi Shinjo, Calton Pu, Younggyun Koh, Kazuhiko Kato:
Fast networking with socket-outsourcing in hosted virtual machine environments.
310-317
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Toshihiro Yokoyama, Miyuki Hanaoka, Makoto Shimamura, Kenji Kono:
Simplifying security policy descriptions for internet servers in secure operating systems.
326-333
Electronic Edition (ACM DL) BibTeX
- Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
Response time analysis of software transactional memory-based distributed real-time systems.
334-338
Electronic Edition (ACM DL) BibTeX
Poster papers
Requirement engineering track
- Haihua Xie, Lin Liu, Jingwei Yang:
i*-prefer: optimizing requirements elicitation process based on actor preferences.
347-354
Electronic Edition (ACM DL) BibTeX
- Travis D. Breaux, Jonathan D. Lewis, Paul N. Otto, Annie I. Antón:
Identifying vulnerabilities and critical requirements using criminal court proceedings.
355-359
Electronic Edition (ACM DL) BibTeX
- Kristina Winbladh, Hadar Ziv, Debra J. Richardson:
Eliciting required characteristics for usable requirements engineering approaches.
360-364
Electronic Edition (ACM DL) BibTeX
- Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
LTS semantics for use case models.
365-370
Electronic Edition (ACM DL) BibTeX
- Ken Decreus, Geert Poels:
Mapping semantically enriched Formal Tropos to business process models.
371-376
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Christine Choppy, Gianna Reggio:
A method for developing UML state machines.
382-388
Electronic Edition (ACM DL) BibTeX
- An Agent, Goal-Oriented Approach:
Extending Problem Frames to deal with stakeholder problems.
389-394
Electronic Edition (ACM DL) BibTeX
Poster papers
- Ing Widya, Bert-Jan van Beijnum, Richard Bults, V. M. Jones, Hermie Hermens, L. Sandsjö, L. Schaake, M. H. A. Huis in't Veld:
Early phase requirements assessment of a teletreatment trial.
395-396
Electronic Edition (ACM DL) BibTeX
- Karen Smiley, Qingfeng He, Elizabeth Kielczewski, Aldo Dagnino:
Architectural requirements prioritization and analysis applied to software technology evaluation.
397-398
Electronic Edition (ACM DL) BibTeX
- Shunichi Suzuki, Akira Osada, Tomonori Sato, Haruhiko Kaiya, Masaaki Tanigawa, Kenji Kaijiri:
A systematic method for generating quality requirements spectrum.
399-400
Electronic Edition (ACM DL) BibTeX
- Christoph Becker, Andreas Rauber:
Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation.
401-402
Electronic Edition (ACM DL) BibTeX
Software engineering track
- Néstor Cataño, Tim Wahls:
Executing JML specifications of Java card applications: a case study.
404-408
Electronic Edition (ACM DL) BibTeX
- Rui Abreu, Wolfgang Mayer, Markus Stumptner, Arjan J. C. van Gemund:
Refining spectrum-based fault localization rankings.
409-414
Electronic Edition (ACM DL) BibTeX
- Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance.
415-421
Electronic Edition (ACM DL) BibTeX
- Tsong Yueh Chen, De Hao Huang, Fei-Ching Kuo, Robert G. Merkel, Johannes Mayer:
Enhanced lattice-based adaptive random testing.
422-429
Electronic Edition (ACM DL) BibTeX
- Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu:
Modeling and integrating aspects with UML activity diagrams.
430-437
Electronic Edition (ACM DL) BibTeX
- Johannes Bohnet, Stefan Voigt, Jürgen Döllner:
Projecting code changes onto execution traces to support localization of recently introduced bugs.
438-442
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Mariano Ceccato, Paolo Tonella, Mila Dalla Preda, Anirban Majumdar:
Remote software protection by orthogonal client replacement.
448-455
Electronic Edition (ACM DL) BibTeX
- Flávia Coimbra Delicato, Isanio L. Araujo Santos, Paulo F. Pires, Ana Liz S. Oliveira, Thais Batista, Luci Pirmez:
Using aspects and dynamic composition to provide context-aware adaptation for mobile applications.
456-460
Electronic Edition (ACM DL) BibTeX
- Adam M. Smith, Gregory M. Kapfhammer:
An empirical study of incorporating cost into test suite reduction and prioritization.
461-467
Electronic Edition (ACM DL) BibTeX
- Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Towards a compositional approach to model transformation for software development.
468-475
Electronic Edition (ACM DL) BibTeX
- Otávio Augusto Lazzarini Lemos, Sushil Krishna Bajracharya, Joel Ossher, Paulo Cesar Masiero, Cristina Videira Lopes:
Applying test-driven code search to the reuse of auxiliary functionality.
476-482
Electronic Edition (ACM DL) BibTeX
- Sarthak Grover, Nigamanth Sridhar:
GenQA: automated addition of architectural quality attribute support for Java software?
483-487
Electronic Edition (ACM DL) BibTeX
- Nathan V. Roberts, Eunjee Song, Paul C. Grabow:
Model interfaces for two-way obliviousness.
488-495
Electronic Edition (ACM DL) BibTeX
- Mikael Lindvall, Raimund L. Feldmann, George Karabatis, Zhiyuan Chen, Vandana Pursnani Janeja:
Searching for relevant software change artifacts using semantic networks.
496-500
Electronic Edition (ACM DL) BibTeX
- Tomás Bures, Petr Hnetynka, Michal Malohlava:
Using a product line for creating component systems.
501-508
Electronic Edition (ACM DL) BibTeX
- Francisco J. Pino, Félix García, Mario Piattini:
Key processes to start software process improvement in small companies.
509-516
Electronic Edition (ACM DL) BibTeX
- Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung:
Failure management development for integrated automotive safety-critical software systems.
517-521
Electronic Edition (ACM DL) BibTeX
- Baris Aktemur, Sam Kamin:
A comparative study of techniques to write customizable libraries.
522-529
Electronic Edition (ACM DL) BibTeX
- Misook Choi, Injoo J. Kim, Jiman Hong, Jungyeop Kim:
Component-based metrics applying the strength of dependency between classes.
530-536
Electronic Edition (ACM DL) BibTeX
Poster papers
- Norman F. Schneidewind, Mike Hinchey:
A consumer/producer approach to risk-driven software reliability and testing.
537-538
Electronic Edition (ACM DL) BibTeX
- Rubén Mondéjar, Pedro García López, Carles Pairot, Pascal Urso, Pascal Molli:
Designing a distributed AOP runtime composition model.
539-540
Electronic Edition (ACM DL) BibTeX
- Hector Miguel Chavez, Wuwei Shen, Shaoying Liu:
An approach to detection of UML-based ownership violation.
541-542
Electronic Edition (ACM DL) BibTeX
- Ziad Al-Sharif, Clinton Jeffery:
An extensible source-level debugger.
543-544
Electronic Edition (ACM DL) BibTeX
- Eunjee Song, Hanil Kim, Wuliang Sun:
A property-based verification approach in aspect-oriented modeling.
545-546
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Chunying Zhao, Kang Zhang, Yu Lei:
Abstraction of multiple executions of object-oriented programs.
549-550
Electronic Edition (ACM DL) BibTeX
Software verification and testing track
- Renato Cherini, Javier O. Blanco:
Local reasoning for abstraction and sharing.
552-557
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich:
The synergy of precise and fast abstractions for program verification.
566-573
Electronic Edition (ACM DL) BibTeX
- Fernando R. C. Silva, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
An approach for component testing and its empirical validation.
574-581
Electronic Edition (ACM DL) BibTeX
- Sergio Giro, Pedro R. D'Argenio:
On the verification of probabilistic I/O automata with unspecified rates.
582-586
Electronic Edition (ACM DL) BibTeX
- Clément Hurlin:
Specifying and checking protocols of multithreaded classes.
587-592
Electronic Edition (ACM DL) BibTeX
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
Enforcement monitoring wrt. the safety-progress classification of properties.
593-600
Electronic Edition (ACM DL) BibTeX
- Iman Narasamdya, Michaël Périn:
Certification of smart-card applications in common criteria.
601-608
Electronic Edition (ACM DL) BibTeX
- Perry R. James, Patrice Chalin:
Extended static checking in JML4: benefits of multiple-prover support.
609-614
Electronic Edition (ACM DL) BibTeX
- K. Rustan M. Leino, Rosemary Monahan:
Reasoning about comprehensions with first-order SMT solvers.
615-622
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Martin Necaský, Irena Mlýnková:
Discovering XML keys and foreign keys in queries.
632-638
Electronic Edition (ACM DL) BibTeX
- Irena Mlýnková, Martin Necaský:
Towards inference of more realistic XSDs.
639-646
Electronic Edition (ACM DL) BibTeX
- Janne Kuuskeri, Tommi Mikkonen:
Partitioning web applications between the server and the client.
647-652
Electronic Edition (ACM DL) BibTeX
- Mikko Pohja:
Server push with instant messaging.
653-658
Electronic Edition (ACM DL) BibTeX
- Diogo S. 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
Electronic Edition (ACM DL) BibTeX
- Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata:
An optimistic technique for transactions control using REST architectural style.
664-669
Electronic Edition (ACM DL) BibTeX
- Kay-Uwe Schmidt, Tobias Sarnow, Ljiljana Stojanovic:
Socially filtered web search: an approach using social bookmarking tags to personalize web search.
670-674
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Angelo Di Iorio, Davide Rossi, Fabio Vitali, Stefano Zacchiroli:
Where are your manners?: Sharing best community practices in the web 2.0.
681-687
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Cristiano Maciel, Vinícius Carvalho Pereira, Licinio Roque, Ana Cristina Bicharra Garcia:
Identifying discourse mistakes in web debates: moderation in the DCC.
690-691
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Ivo Calado, Heitor Barros, Ig Ibert Bittencourt:
An approach for semantic web services automatic discovery and composition with similarity metrics.
694-695
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Juan C. García-Ojeda, Scott A. DeLoach, Robby:
agentTool process editor: supporting the design of tailored agent-based processes.
707-714
Electronic Edition (ACM DL) BibTeX
- Massimo Cossentino, Luca Sabatucci, Valeria Seidita:
A collaborative tool for designing and enacting design processes.
715-721
Electronic Edition (ACM DL) BibTeX
- Mauro Dragone, David Lillis, Rem W. Collier, Gregory M. P. O'Hare:
SoSAA: a framework for integrating components & agents.
722-728
Electronic Edition (ACM DL) BibTeX
Poster papers
Agreement technologies track
Bioinformatics track
- Paola Lecca, A. Palmisano, Corrado Priami, G. Sanguinetti:
A new probabilistic generative model of parameter inference in biochemical networks.
758-765
Electronic Edition (ACM DL) BibTeX
- Bhanu Rekapalli, Christian Halloy, Igor B. Zhulin:
HSP-HMMER: a tool for protein domain identification on a large scale.
766-770
Electronic Edition (ACM DL) BibTeX
- Jiao Li, Pamela Crowell, Jake Yue Chen:
Construct anticancer drug-drug correlation network.
771-775
Electronic Edition (ACM DL) BibTeX
- Francesca Cordero, Alessia Visconti, Marco Botta:
A new protein motif extraction framework based on constrained co-clustering.
776-781
Electronic Edition (ACM DL) BibTeX
- Nicolay Postarnakevich, Rahul Singh:
Global-to-local representation and visualization of molecular surfaces using deformable models.
782-787
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Kevin Kontos, Gianluca Bontempi:
An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models.
793-798
Electronic Edition (ACM DL) BibTeX
- Akther Shermin, Mehmet A. Orgun:
Using dynamic bayesian networks to infer gene regulatory networks from expression profiles.
799-803
Electronic Edition (ACM DL) BibTeX
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Adebayo Olowoyeye, Mihran Tuceryan, Shiaofen Fang:
Medical volume segmentation using bank of Gabor filters.
826-829
Electronic Edition (ACM DL) BibTeX
- Yan Zhang, Peter J. Passmore, Richard H. Bayford:
Task based visualization of 5D brain EIT data.
831-835
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Florian F. Schmitzberger, Justus Roos, Sandy Napel, Geoffrey D. Rubin, David S. Paik:
Thin client architecture in support of remote radiology learning.
842-846
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Poster papers
Computer forensics track
Poster papers
Computational intelligence and image analysis track
- Khalil Djelloul:
From exponential to almost linear decomposability of finite or infinite trees.
897-902
Electronic Edition (ACM DL) BibTeX
- Glenn Flora, Mihran Tuceryan, Herb Blitzer:
Forensic bite mark identification using image processing methods.
903-907
Electronic Edition (ACM DL) BibTeX
- Jana Stanclová:
On the complexity of hierarchical associative memories.
908-913
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Dario Landa Silva, Fathima Marikar, Khoi Le:
Heuristic approach for automated shelf space allocation.
922-928
Electronic Edition (ACM DL) BibTeX
- Chang-ming Xu, Z. M. Ma, Xinhe Xu:
A method to construct knowledge table-base in k-in-a-row games.
929-933
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Dongshan Huang, Enmin Song, Guangzhi Ma, Huirong Zhan, Chih-Cheng Hung:
A new cross-training approach by using labeled data.
941-942
Electronic Edition (ACM DL) BibTeX
- Xiaoying Sha, Xiaobai Liu, Jianting Wen:
Foreground classification using active template in the scene context for visual surveillance.
943-944
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Computational sciences track
- Cecilia R. Aragon, Karl J. Runge:
Workflow management for high volume supernova search.
949-955
Electronic Edition (ACM DL) BibTeX
- Haiyan Cheng, Adrian Sandu:
Uncertainty apportionment for air quality forecast models.
956-960
Electronic Edition (ACM DL) BibTeX
- Christof Vömel, Stanimire Tomov, Osni Marques:
Bulk based preconditioning for quantum dot computations.
961-965
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- H. Martin Bücker, Arno Rasch, Volker Rath, Andreas Wolf:
Semi-automatic parallelization of direct and inverse problems for geothermal simulation.
971-975
Electronic Edition (ACM DL) BibTeX
- John C. Linford, Adrian Sandu:
Vector stream processing for effective application of heterogeneous parallelism.
976-980
Electronic Edition (ACM DL) BibTeX
- Amrita Mathuriya, David A. Bader, Christine E. Heitsch, Stephen C. Harvey:
GTfold: a scalable multicore code for RNA secondary structure prediction.
981-988
Electronic Edition (ACM DL) BibTeX
- Ioana Cipcigan, Muruhan Rathinam:
Interlaced Euler scheme for stiff systems of stochastic differential equations.
989-994
Electronic Edition (ACM DL) BibTeX
- Pilsung Kang, Yang Cao, Naren Ramakrishnan, Calvin J. Ribbens, Srinidhi Varadarajan:
Modular implementation of adaptive decisions in stochastic simulations.
995-1001
Electronic Edition (ACM DL) BibTeX
- Wolfgang Bangerth, Amit Joshi:
Adaptive finite element methods for nonlinear inverse problems.
1002-1006
Electronic Edition (ACM DL) BibTeX
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Romain Rouvoy, Frank Eliassen, Mikaël Beauvois:
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services.
1021-1028
Electronic Edition (ACM DL) BibTeX
- Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter:
Formalizing the notion of adaptive system behavior.
1029-1033
Electronic Edition (ACM DL) BibTeX
- Vinicius Petrucci, Orlando Loques, Daniel Mossé:
A framework for dynamic adaptation of power-aware server clusters.
1034-1039
Electronic Edition (ACM DL) BibTeX
- Mohammad Gias Uddin, Mohammad Zulkernine:
ATM: an automatic trust monitoring algorithm for service software.
1040-1044
Electronic Edition (ACM DL) BibTeX
- Haifeng Chen, Guofei Jiang, Hui Zhang, Kenji Yoshihira:
Boosting the performance of computing systems through adaptive configuration tuning.
1045-1049
Electronic Edition (ACM DL) BibTeX
- Ke Liang, Xingshe Zhou, Ruiqing Sheng, Kailong Zhang:
Adaptive resource management architecture for distributed real-time embedded systems.
1050-1055
Electronic Edition (ACM DL) BibTeX
- Nuno Santos, Martin Hutle, André Schiper:
Latency-aware leader election.
1056-1061
Electronic Edition (ACM DL) BibTeX
- Md. Endadul Hoque, Farzana Rahman, Sheikh Iqbal Ahamed:
Supporting recovery, privacy and security in RFID systems using a robust authentication protocol.
1062-1066
Electronic Edition (ACM DL) BibTeX
- Raphael Y. de Camargo, Fernando Castor Filho, Fabio Kon:
Efficient maintenance of distributed data in highly dynamic opportunistic grids.
1067-1071
Electronic Edition (ACM DL) BibTeX
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Haifeng Chen, Guofei Jiang:
A gradient oriented recombination scheme for evolution strategies.
1080-1084
Electronic Edition (ACM DL) BibTeX
- Márcio P. Basgalupp, Rodrigo C. Barros, André C. P. L. F. de Carvalho, Alex A. Freitas, Duncan D. Ruiz:
LEGAL-tree: a lexicographic multi-objective genetic algorithm for decision tree induction.
1085-1090
Electronic Edition (ACM DL) BibTeX
- Azin Moallem, Simone A. Ludwig:
Using artificial life techniques for distributed grid job scheduling.
1091-1097
Electronic Edition (ACM DL) BibTeX
- Kiyeok Park, Taejin Park, Kwang Ryel Ryu:
Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms.
1098-1105
Electronic Edition (ACM DL) BibTeX
Poster papers
Geometric constraints and reasoning track
Poster papers
Intelligent robotic systems track
- Christopher A. Brooks, Karl Iagnemma:
Visual detection of novel terrain via two-class classification.
1145-1150
Electronic Edition (ACM DL) BibTeX
- Thomas Müller, Alois Knoll:
Attention driven visual processing for an interactive dialog robot.
1151-1155
Electronic Edition (ACM DL) BibTeX
- Milton Roberto Heinen, Paulo Martins Engel:
Evaluation of visual attention models under 2D similarity transformations.
1156-1160
Electronic Edition (ACM DL) BibTeX
- Milton Roberto Heinen, Fernando Santos Osório:
Evolving morphologies and gaits of physically realistic simulated robots.
1161-1165
Electronic Edition (ACM DL) BibTeX
- Hannah Hoersting, Lesia Bilitchenko, Zachary Dodds:
Visual loop-closing with image profiles.
1166-1170
Electronic Edition (ACM DL) BibTeX
- Stelios Timotheou, Georgios Loukas:
Autonomous networked robots for the establishment of wireless communication in uncertain emergency response scenarios.
1171-1175
Electronic Edition (ACM DL) BibTeX
- Evan Drumwright, Dylan A. Shell:
A robust and tractable contact model for dynamic robotic simulation.
1176-1180
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Poster papers
Self-organization in pervasive distributed systems track
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Jinghua Groppe, Sven Groppe, Sebastian Ebers, Volker Linnemann:
Efficient processing of SPARQL joins in memory by dynamically restricting triple patterns.
1231-1238
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Luke Steller, Shonali Krishnaswamy:
Efficient mobile reasoning for pervasive discovery.
1247-1251
Electronic Edition (ACM DL) BibTeX
- Lamia Abo Zaid, Frederic Kleinermann, Olga De Troyer:
Applying semantic web technology to feature modeling.
1252-1256
Electronic Edition (ACM DL) BibTeX
- Sivaramakrishnan Narayanan, Ümit V. Çatalyürek, Tahsin M. Kurç, Joel H. Saltz:
Parallel materialization of large ABoxes.
1257-1261
Electronic Edition (ACM DL) BibTeX
- Seongwook Youn, Dennis McLeod:
Spam decisions on gray e-mail using personalized ontologies.
1262-1266
Electronic Edition (ACM DL) BibTeX
- Serge Boucher, Esteban Zimányi:
Leveraging OWL for GIS interoperability: rewards and pitfalls.
1267-1272
Electronic Edition (ACM DL) BibTeX
Poster papers
Trust,
reputation,
evidence and other collaboration know-how track
Poster papers
Advances in spatial and image-based information systems track
Coordination models,
languages and applications track
Poster papers
Constraint solving and programming track
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Dipankar Bachar, Rosa Meo:
A novel distance-based classifier built on pattern ranking.
1427-1432
Electronic Edition (ACM DL) BibTeX
- L. Leonardi, Salvatore Orlando, Alessandra Raffaetà, Alessandro Roncato, Claudio Silvestri:
Frequent spatio-temporal patterns in trajectory data warehouses.
1433-1440
Electronic Edition (ACM DL) BibTeX
- Zhongshan Lin, SeungJin Lim:
Optimal candidate generation in spatial co-location mining.
1441-1445
Electronic Edition (ACM DL) BibTeX
- Samah Jamal Fodeh, William F. Punch, Pang-Ning Tan:
Combining statistics and semantics via ensemble model for document clustering.
1446-1450
Electronic Edition (ACM DL) BibTeX
- Toon Calders, Christian W. Günther, Mykola Pechenizkiy, Anne Rozinat:
Using minimum description length for process mining.
1451-1455
Electronic Edition (ACM DL) BibTeX
- Keith Henderson, Tina Eliassi-Rad:
Applying latent dirichlet allocation to group discovery in large graphs.
1456-1461
Electronic Edition (ACM DL) BibTeX
- Zhipeng Xie:
Improved AdaBoost.M1 of decision trees with confidence-rated predictions.
1462-1466
Electronic Edition (ACM DL) BibTeX
- Clifford Conley Owens III, T. M. Murali, Naren Ramakrishnan:
Capturing truthiness: mining truth tables in binary datasets.
1467-1474
Electronic Edition (ACM DL) BibTeX
- Carina Lopes, Gerson Zaverucha:
HTILDE: scaling up relational decision trees for very large databases.
1475-1479
Electronic Edition (ACM DL) BibTeX
- Youngho Kim, Yingshi Tian, Yoonjae Jeong, Ryu Jihee, Sung-Hyon Myaeng:
Automatic discovery of technology trends from patent text.
1480-1487
Electronic Edition (ACM DL) BibTeX
Poster papers
Data streams track
- Alice Marascu, Florent Masseglia:
Parameterless outlier detection in data streams.
1491-1495
Electronic Edition (ACM DL) BibTeX
- João Gama, Pedro Pereira Rodrigues, Raquel Sebastião:
Evaluating algorithms that learn from data streams.
1496-1500
Electronic Edition (ACM DL) BibTeX
- Gordon J. Ross, Dimitris K. Tasoulis, Niall M. Adams:
Online annotation and prediction for regime switching data streams.
1501-1505
Electronic Edition (ACM DL) BibTeX
- Xiaomeng Wan, Evangelos E. Milios, Nauzer Kalyaniwalla, Jeannette Janssen:
Link-based event detection in email communication networks.
1506-1510
Electronic Edition (ACM DL) BibTeX
- Marcel Karnstedt, Daniel Klan, Christian Pölitz, Kai-Uwe Sattler, Conny Franke:
Adaptive burst detection in a stream engine.
1511-1515
Electronic Edition (ACM DL) BibTeX
Poster papers
Data theory,
technology,
and applications track
- Noureddine Abbadeni:
Information retrieval from visual databases using multiple representations and multiple queries.
1523-1527
Electronic Edition (ACM DL) BibTeX
- Benjamin C. M. Fung, Ming Cao, Bipin C. Desai, Heng Xu:
Privacy protection for RFID data.
1528-1535
Electronic Edition (ACM DL) BibTeX
- Lingbo Kong, Rémi Gilleron, Aurélien Lemay:
Retrieving valid matches for XML keyword search.
1536-1540
Electronic Edition (ACM DL) BibTeX
- Joubert de Castro Lima, Celso Massaki Hirata:
Computing data cubes using exact sub-graph matching: the sequential MCG approach.
1541-1548
Electronic Edition (ACM DL) BibTeX
- Michael Henderson, Bryce Cutt, Ramon Lawrence:
Exploiting join cardinality for faster hash joins.
1549-1554
Electronic Edition (ACM DL) BibTeX
- Hadj Mahboubi, Jérôme Darmont:
Enhancing XML data warehouse query performance by fragmentation.
1555-1562
Electronic Edition (ACM DL) BibTeX
- Li Yan, Z. M. Ma, Jian Liu:
Fuzzy data modeling based on XML schema.
1563-1567
Electronic Edition (ACM DL) BibTeX
- Sang-Chul Lee, Sang-Wook Kim, Junghoon Lee, Jae Soo Yoo:
Approximate indexing in road network databases.
1568-1572
Electronic Edition (ACM DL) BibTeX
- Sandra de Amo, Marcos Roberto Ribeiro:
CPref-SQL: a query language supporting conditional preferences.
1573-1577
Electronic Edition (ACM DL) BibTeX
- Alain-Pierre Manine:
Learning the ontological theory of an information extraction system in the multi-predicate ILP setting.
1578-1582
Electronic Edition (ACM DL) BibTeX
Poster papers
Enterprise information systems track
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Nalini Vasudevan, Stephen A. Edwards:
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.
1626-1631
Electronic Edition (ACM DL) BibTeX
- Cássio L. Rodrigues, Karina R. G. da Silva, Henrique N. Cunha:
Improving functional verification of embedded systems using hierarchical composition and set theory.
1632-1636
Electronic Edition (ACM DL) BibTeX
- Meikang Qiu, Hao Li, Edwin Hsing-Mean Sha:
Heterogeneous real-time embedded software optimization considering hardware platform.
1637-1641
Electronic Edition (ACM DL) BibTeX
- Luís Tarrataca, André C. Santos, João M. P. Cardoso:
The current feasibility of gesture recognition for a smartphone using J2ME.
1642-1649
Electronic Edition (ACM DL) BibTeX
- Clemens Moser, Jian-Jia Chen, Lothar Thiele:
Optimal service level allocation in environmentally powered embedded systems.
1650-1657
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Soojun Im, Dongkun Shin:
Storage architecture and software support for SLC/MLC combined flash memory.
1664-1669
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Siddharth Choudhuri, Tony Givargis:
FlashBox: a system for logging non-deterministic events in deployed embedded systems.
1676-1682
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Shouwen Lai, Binoy Ravindran, Hyeonjoong Cho:
On scheduling soft real-time tasks with lock-free synchronization for embedded devices.
1685-1686
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Tom Matthé, Guy De Tré:
Bipolar query satisfaction using satisfaction and dissatisfaction degrees: bipolar satisfaction degrees.
1699-1703
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Le-Shin Wu, Filippo Menczer:
Diverse peer selection in collaborative web search.
1709-1713
Electronic Edition (ACM DL) BibTeX
- Chi Shen, Mike Unuakhalu:
A class of multistep sparse matrix strategies for concept decomposition matrix approximation.
1714-1718
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Marjan Celikik, Holger Bast:
Fast error-tolerant search on very large texts.
1724-1731
Electronic Edition (ACM DL) BibTeX
- Mariam Daoud, Lynda Tamine-Lechani, Mohand Boughanem, Bilal Chebaro:
A session based personalized search using an ontological user profile.
1732-1736
Electronic Edition (ACM DL) BibTeX
- Wai Gen Yee, Linh Thai Nguyen, Ophir Frieder:
Alternatives to conjunctive query processing in peer-to-peer file-sharing systems.
1737-1741
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Valter Roesler, Ronaldo Husemann, Carlos Haas Costa:
A new multimedia synchronous distance learning system: the IVA study case.
1765-1770
Electronic Edition (ACM DL) BibTeX
- Antonio d'Acierno, Vincenzo Moscato, Antonio Picariello:
A recommendation system for browsing digital libraries.
1771-1778
Electronic Edition (ACM DL) BibTeX
- Jinmi Kang, Gyeongeun Goh, Kidong Chung:
A new inter-layer prediction scheme for spatial scalability with different frame rates.
1779-1783
Electronic Edition (ACM DL) BibTeX
- Chul-Jin Jang, Taijin Yoon, Hwan-Gue Cho:
A smart clustering algorithm for photo set obtained from multiple digital cameras.
1784-1791
Electronic Edition (ACM DL) BibTeX
- Moses Schwartz, Curtis Hash, Lorie M. Liebrock:
Term distribution visualizations with Focus+Context.
1792-1799
Electronic Edition (ACM DL) BibTeX
- Pushpa Kumar, Kang Zhang:
Visualization of clustered directed acyclic graphs with node interleaving.
1800-1805
Electronic Edition (ACM DL) BibTeX
- Rahul Singh, Bibek D. Bhhatarai:
Information-theoretic identification of content pages for analyzing user information needs and actions on the multimedia web.
1806-1810
Electronic Edition (ACM DL) BibTeX
- Sunghwan Chun, Seoyoung Lee, Kwangmu Shin, Kidong Chung:
An enhanced multi-view video compression using the constrained inter-view prediction.
1811-1815
Electronic Edition (ACM DL) BibTeX
- Omar U. Florez, SeungJin Lim:
Discovery of time series in video data through distribution of spatiotemporal gradients.
1816-1820
Electronic Edition (ACM DL) BibTeX
- Luiz Fernando Gomes Soares, Rogério Ferreira Rodrigues, Renato Cerqueira, Simone Diniz Junqueira Barbosa:
Variable handling in time-based XML declarative languages.
1821-1828
Electronic Edition (ACM DL) BibTeX
- César A. C. Teixeira, Erick L. Melo, Renan G. Cattelan, Maria da Graça Campos Pimentel:
User-media interaction with interactive TV.
1829-1833
Electronic Edition (ACM DL) BibTeX
- Giliard Brito de Freitas, Cesar Augusto Camillo Teixeira:
Ubiquitous services in home networks offered through digital TV.
1834-1838
Electronic Edition (ACM DL) BibTeX
Poster papers
- Duy-Dinh Le, Shin'ichi Satoh:
Efficient concept detection by fusing simple visual features.
1839-1840
Electronic Edition (ACM DL) BibTeX
- Shin Gyu Kim, Hyuck Han, Kyungho Jeon, Hyungsoo Jung, Heon Young Yeom:
Visualization of information flows in a very large social network.
1841-1842
Electronic Edition (ACM DL) BibTeX
- Damon Shing-Min Liu, Chi-Hsien Liu, Ching-I Cheng:
Two-dimensional non-photorealistic drawings on mobile devices.
1843-1844
Electronic Edition (ACM DL) BibTeX
- Gyeongeun Goh, Jinmi Kang, Misook Cho, Kidong Chung:
Fast mode decision for scalable video coding based on neighboring macroblock analysis.
1845-1846
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
Object oriented programming languages and systems track
- Chieri Saito, Atsushi Igarashi:
Matching ThisType to subtyping.
1851-1858
Electronic Edition (ACM DL) BibTeX
- Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks:
Static type inference for Ruby.
1859-1866
Electronic Edition (ACM DL) BibTeX
- Eduardo Kessler Piveta, Marcelo Soares Pimenta, João Araújo, Ana Moreira, Pedro Guerreiro, Roberto Tom Price:
Representing refactoring opportunities.
1867-1872
Electronic Edition (ACM DL) BibTeX
- David Lievens, William Harrison:
Symmetric encapsulated multi-methods to abstract over application structure.
1873-1880
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- David Briggs, Suad Alagic:
Algebraic specification techniques for parametric types with logic-based constraints.
1890-1897
Electronic Edition (ACM DL) BibTeX
- Paul Tarau:
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.
1898-1902
Electronic Edition (ACM DL) BibTeX
- Julien Cervelle, Rémi Forax, Gautier Loyauté, Gilles Roussel:
Banzai: a Java framework for the implementation of high-performance servers.
1903-1909
Electronic Edition (ACM DL) BibTeX
- Torben Æ. Mogensen:
Troll, a language for specifying dice-rolls.
1910-1915
Electronic Edition (ACM DL) BibTeX
- Paul Biggar, Edsko de Vries, David Gregg:
A practical solution for scripting language compilers.
1916-1923
Electronic Edition (ACM DL) BibTeX
- Akim Demaille, Roland Levillain, Benoît Sigoure:
TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing.
1924-1929
Electronic Edition (ACM DL) BibTeX
- Dongseok Jang, Kwang-Moo Choe:
Points-to analysis for JavaScript.
1930-1937
Electronic Edition (ACM DL) BibTeX
Poster papers
Programming for separation of concerns track
Real-time systems track
Poster papers
Computer security track
- Jaideep Vaidya:
Privacy-preserving linear programming.
2002-2007
Electronic Edition (ACM DL) BibTeX
- Florian Kerschbaum, Daniel Dahlmeier, Axel Schröpfer, Debmalya Biswas:
On the practical importance of communication complexity for secure multi-party computation protocols.
2008-2015
Electronic Edition (ACM DL) BibTeX
- Guido Schryen, Rouven Kadura:
Open source vs. closed source software: towards measuring security.
2016-2023
Electronic Edition (ACM DL) BibTeX
- Gavin O'Gorman, Stephen Blott:
Improving stream correlation attacks on anonymous networks.
2024-2028
Electronic Edition (ACM DL) BibTeX
- Flavio Lombardi, Roberto Di Pietro:
KvmSec: a security extension for Linux kernel virtual machines.
2029-2034
Electronic Edition (ACM DL) BibTeX
- Ricardo Villamarín-Salomón, José Carlos Brustoloni:
Bayesian bot detection based on DNS traffic similarity.
2035-2041
Electronic Edition (ACM DL) BibTeX
- 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
Electronic Edition (ACM DL) BibTeX
- Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman:
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal.
2049-2053
Electronic Edition (ACM DL) BibTeX
- Anyi Liu, Yi Yuan, Duminda Wijesekera, Angelos Stavrou:
SQLProb: a proxy-based architecture towards preventing SQL injection attacks.
2054-2061
Electronic Edition (ACM DL) BibTeX
- Peter Djalaliev, José Carlos Brustoloni:
Secure web-based retrieval of documents with usage controls.
2062-2069
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Jason Leezer, Yu Zhang:
Simulating human intuitive decisions by Q-learning.
2077-2081
Electronic Edition (ACM DL) BibTeX
- Stefania Bandini, Andrea Bonomi, Giuseppe Vizzari:
Simulation supporting the design of self-organizing ambient intelligent systems.
2082-2086
Electronic Edition (ACM DL) BibTeX
- Fawzi Hassaïne, Russ Moulton, Chris Fink:
Composing a high fidelity HLA federation for littoral operations.
2087-2092
Electronic Edition (ACM DL) BibTeX
- Nuno Fachada, Vitor V. Lopes, Agostinho Rosa:
Simulating antigenic drift and shift in influenza A.
2093-2100
Electronic Edition (ACM DL) BibTeX
Poster papers
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
Electronic Edition (ACM DL) BibTeX
- Sylvain Hallé, Roger Villemaire:
Runtime monitoring of web service choreographies using streaming XML.
2118-2125
Electronic Edition (ACM DL) BibTeX
- Ricardo Pérez-Castillo, Ignacio García-Rodríguez, Ismael Caballero:
PRECISO: a reengineering process and a tool for database modernisation through web services.
2126-2133
Electronic Edition (ACM DL) BibTeX
- Karolina Zurowska, Ralph Deters:
Load management in model-aware execution of composite web services.
2134-2139
Electronic Edition (ACM DL) BibTeX
- Faramarz Safi Esfahani, Masrah Azrifah Azmi Murad, Md Nasir Sulaiman, Nur Izura Udzir:
Using process mining to business process distribution.
2140-2145
Electronic Edition (ACM DL) BibTeX
- M. Brian Blake, Michael F. Nowlan, Ajay Bansal, Srividya Kona:
Annotating UDDI registries to support the management of composite services.
2146-2153
Electronic Edition (ACM DL) BibTeX
- Paolo Anedda, Massimo Gaggero, Simone Manca:
A general service oriented approach for managing virtual machines allocation.
2154-2161
Electronic Edition (ACM DL) BibTeX
- Stefan Thanheiser, Lei Liu, Hartmut Schmeck:
SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems.
2162-2169
Electronic Edition (ACM DL) BibTeX
Poster papers
Wireless sensor networks track
Poster papers
Copyright © Sat May 16 23:36:28 2009
by Michael Ley (ley@uni-trier.de)
