Volume 8, Number 1, January 2011
Regular Papers
Papers selected from "The 4th International Conference on Information Technology", June 3 - 5, Amman, Jordan 2009
Volume 8, Number 2
- Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai:
Challenges and directions in formalizing the semantics of modeling languages.
225-253

- Costin Badica, Zoran Budimac, Hans-Dieter Burkhard, Mirjana Ivanovic:
Software agents: Languages, tools, platforms.
255-298

- Miroslav Líska, Pavol Návrat:
SPEM ontology as the semantic notation for method and process definition in the context of SWEBOK.
299-315

- Ines Ceh, Matej Crepinsek, Tomaz Kosar, Marjan Mernik:
Ontology driven development of domain-specific languages.
317-342

- Nuno Oliveira, Nuno F. Rodrigues, Pedro Rangel Henriques:
Domain-specific language for coordination patterns.
343-359

- Tomaz Kos, Tomaz Kosar, Jure Knez, Marjan Mernik:
From DCOM interfaces to domain-specific modeling language: A case study on the sequencer.
361-378

- Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques:
A DSL for PIM specifications: Design and attribute grammar based implementation.
379-403

- Branko Perisic, Gordana Milosavljevic, Igor Dejanovic, Branko Milosavljevic:
UML profile for specifying user interfaces of business applications.
405-426

- Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller, Marcel Schulz:
Formalizing business process specifications.
427-446

- Raimundas Matulevicius, Henri Lakk, Marion Lepmets:
An approach to assess and compare quality of security models.
447-476

- Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
GammaPolarSlicer.
477-499

- Jan Wolter, Bastian Cramer, Uwe Kastens:
Animation of tile-based games automatically derived from simulation specifications.
501-516

- C. Rodriguez-Leon, L. Garcia-Forte:
Solving difficult LR parsing conflicts by postponing them.
517-531

- João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias:
Detecting concurrency anomalies in transactional memory programs.
534-548

Volume 8, Number 3
- Jelica Protic, Dejan Ristanovic:
Building computers in Serbia: The first half of the digital century.
549-571

- M. A. Laredj, K. Bouamrane:
Workflow specification for interaction management between experts in a cooperative remote diagnosis process.
573-590

- Goran Sladic, Branko Milosavljevic, Zora Konjovic, Milan Vidakovic:
Access control framework for XML document collections.
591-609

- Miguel A. Laguna, José M. Marqués, Guillermo Rodríguez-Cano:
Feature diagram formalization based on directed hypergraphs.
611-633

- Jinlong Wang, Shunyao Wu, Gang Li, Zhe Wei:
Integrating instance-level and attribute-level knowledge into document clustering.
635-651

- Ruhui Ma, Haibing Guan, Erzhou Zhu, Yongqiang Gao, Alei Liang:
Code cache management based on working set in dynamic binary translator.
653-671

- Kerui Chen, Wanli Zuo, Fengling He, Yongheng Chen, Ying Wang:
Data extraction and annotation based on domain-specific ontology evolution for deep web.
673-692

- Jianmin Zhang, ShengYu Shen, Jun Zhang, Weixia Xu, Sikun Li:
Extracting minimal unsatisfiable subformulas in satisfiability modulo theories.
693-710

- Peiquan Jin, Hong Chen, Xujian Zhao, Xiaowen Li, Lihua Yue:
Indexing temporal information for web pages.
711-737

- Yizi Shang, Guiming Lu, Ling Shang, Guangqian Wang:
Parallel processing on block-based Gauss-Jordan algorithm for desktop grid.
739-759

- Xixu Fu, Hui Wei:
Problem solving by soaking the concept network.
761-778

- Ying Wang, Huilai Li, Wanli Zuo, Fengling He, Xin Wang, Kerui Chen:
Research on discovering deep web entries.
779-799

- Ruwei Huang, Xiaolin Gui, Si Yu, Wei Zhuang:
Study of privacy-preserving framework for cloud storage.
801-819

- Jianhui Zhao, Zhong Zhang, Shizhong Han, Chengzhang Qu, Zhi-Yong Yuan, Dengyi Zhang:
SVM based forest fire detection using static and dynamic features.
821-841

- Xianwen Fang, Changjun Jiang, Zhixiang Yin, Xiaoqin Fan:
The trustworthiness analyzing of interacting business process based on the induction information.
843-867

- Huan Zhao, Gangjin Wang, Cheng Xu, Fei Yu:
Voice activity detection method based on multivalued coarse-graining Lempel-Ziv complexity.
869-888

- Ke Xiong, Yu Zhang, Sheng-hui Wang, Zhifei Zhang, Zhengding Qiu:
Worst case performance bounds for multimedia flows in QoS-enhanced TNPOSS network.
890-908

- Xinchang Zhang, Meihong Yang, Guanggang Geng, Wanming Luo, Xingfeng Li:
A two-tiered reliable application layer multicast.
909-929

- Xinghao Jiang, Tanfeng Sun, Guanglei Fu:
Multi-scale image semantic recognition with hierarchical visual vocabulary.
931-951

Volume 8, Number 4, 2011
- Qingji Qian, Xuanjing Shen, Haipeng Chen:
An improved node localization algorithm based on DV-Hop for wireless sensor networks.
953-972

- Feng Xia, Xue Yang, Haifeng Liu, Zhang Da, Wenhong Zhao:
Energy-efficient opportunistic localization with indoor wireless sensor networks.
973-990

- Jin Wang, Tinghuai Ma, Jinsung Cho, Sungyoung Lee:
An energy efficient and load balancing routing algorithm for wireless sensor networks.
991-1007

- Peng Liu, Song Zhang, Jian Qiu, Xingfa Shen, Jianhui Zhang:
A redistribution method to conserve data in isolated energy-harvesting sensor networks.
1009-1025

- Tie Qiu, Lin Feng, Feng Xia, Guowei Wu, Yu Zhou:
A packet buffer evaluation method exploiting queueing theory for wireless sensor networks.
1028-1049

- Kun-Chan Lan, Chien-Ming Chou, Tzu-Nung Wang, Mei-Wen Li:
On the efficiency of cluster-based approaches for motion detection using body sensor networks.
1051-1071

- Jugen Nie, Deshi Li, Yanyan Han:
Optimization of multiple gateway deployment for underwater acoustic sensor networks.
1073-1095

- Yushan Jin, Ruikai Liu, Xingran He, Yongping Huang:
A distributed power management design based on MOST networks.
1097-1115

- Haifeng Liu, Feng Xia, Zhuo Yang, Yang Cao:
An energy-efficient localization strategy for smartphones.
1117-1128

- Xiangjie Kong, Yu Qi, Xiumiao Song, Guojiang Shen:
Modeling disease spreading on complex networks.
1129-1141

- Xinyue Liu, Xing Yong, Hongfei Lin:
An improved spectral clustering algorithm based on local neighbors in kernel space.
1143-1157

- Bo Zhang, Yang Xiang, Peng Wang, Zhenhua Huang:
A novel capacity and trust based service selection mechanism for collaborative decision making in CPS.
1159-1184

- Tinghuai Ma, Sen Yan, Jin Wang, Sungyoung Lee:
Privacy preserving in ubiquitous computing: Classification & hierarchy.
1185-1206

- Dong Chen, Guiran Chang, Dawei Sun, Jiajia Li, Jie Jia, Xingwei Wang:
TRM-IoT: A trust management model based on fuzzy reputation for internet of things.
1207-1228

- Hao Lan Zhang, Wenhua Zeng, Christian Van der Velden:
A reusable agent design pattern with flexibility and extensibility.
1229-1250

- Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei:
Quantitative analysis for symbolic heap bounds of CPS software.
1251-1276

- Zhigang Gao, Haixia Xia, Guojun Dai:
A model-based software development method for automotive cyber-physical systems.
1277-1301

- Lijing Li, Hui Yan, Hui Li, Chunxi Zhang:
Velocity adaptation for synchronizing a mobile agent network.
1303-1315

- Qiang Li, Weijun Qin, Bing Han, Ruicong Wang, Limin Sun:
A case study on REST-style architecture for cyber-physical systems: Restful smart gateway.
1317-1329

Last update Sat May 18 20:12:00 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page