Sascha Ossowski, Paola Lecca (Eds.):
Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012.
ACM 2012, ISBN 978-1-4503-0857-1
27. SAC 2012:
Riva, Trento, Italy
Advances in spatial and image-based information systems track
Computational intelligence and video & image analysis track
, Baoyao Zhou
, Shan Dong
: Effective radical segmentation of offline handwritten Chinese characters by using an enhanced snake model and Genetic Algorithm.
Constraint solving and programming track
: Solving non-linear arithmetic constraints in soft realtime environments.
Data mining track
, Stefan Conrad
: Hidden markov model-based time series prediction using motifs for detecting inter-time-serial correlations.
Evolutionary computing track
: Boosting the detection of modular community structure with genetic algorithms and local search.
Intelligent robotic systems track
Self-organizing complex systems track
The semantic web and its applications track
, Fu Zhang
, Z. M. Ma
: f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group.
Cloud computing track
Dependable and adaptive distributed systems track
Mobile computing and applications track
, Hojung Cha
: A sensor network-based multiple acoustic source localization algorithm.
: Towards optimizing the reliability of real-time transmission in multi-hop wireless LANs.
Web technologies track
Cooperative systems in heterogeneous environments track
, Chengzheng Sun
: Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming.
Document engineering track
Data streams track
Database theory, technology and applications track
Information access and retrieval track
Multimedia and visualization track
Requirement engineering track
Software engineering track
: RefactoringNG: a flexible Java refactoring tool.
, Atul Gupta
: Investigating fault prediction capabilities of five prediction models for software quality.
Software verification and testing track
: On construction of a library of formally verified low-level arithmetic functions.
: Global and local testing from Message Sequence Charts.
Computer security track
: Collusion-resistant outsourcing of private set intersection.
, Kouichi Sakurai
: Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation.
Coordination models, languages and applications track
, eva Kühn
: A coordination-based access control model for space-based computing.
Embedded systems track
Enterprise engineering track
: The role of editor in collaborative modeling.
Object oriented programming languages and systems track
Operating systems track
Programming for separation of concerns track
Programming languages track
: BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions.
Service-oriented architecture and programming track
Trust, reputation, evidence and other collaboration know-how track