Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th 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, Katia 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 Araujo 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