 | 2009 |
|---|
| 88 |       | JiDong Ge,
Hao Hu,
Jian Lu:
Service Discovery and Substitution According to Inheritance of Behavior with Invariant Analysis.
ACIS-ICIS 2009: 971-976 |
| 87 | | Wei Song,
Xiaoxing Ma,
S. C. Cheung,
Wanchun Dou,
Jian Lu:
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
IEEE SCC 2009: 427-434 |
| 86 | | Xiangzhao Huang,
Qi Fei,
Yangmin Ou,
Jian Lu:
Research on the Evaluation Index System for Regional Integration: Analysis and Empirical Study.
ISNN (1) 2009: 185-193 |
| 85 | | Yu Huang,
Xiaoxing Ma,
Jiannong Cao,
XianPing Tao,
Jian Lu:
Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.
PerCom 2009: 1-9 |
| 84 | | Tao Gu,
Zhanqing Wu,
XianPing Tao,
Hung Keng Pung,
Jian Lu:
epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition.
PerCom 2009: 1-9 |
| 2008 |
|---|
| 83 | | Hongchao Zhang,
Jian Lu,
Xiaowu Ni:
2D Reconstruction of Laser Plasma Electron Density with FFT Method.
CSSE (2) 2008: 849-852 |
| 82 | | Yu Huang,
Xiang Ma,
XianPing Tao,
Jiannong Cao,
Jian Lu:
A Probabilistic Approach to Consistency Checking for Pervasive Context.
EUC (1) 2008: 387-393 |
| 81 | | Taolue Chen,
Jian Lu:
Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.
FSKD (5) 2008: 134-138 |
| 80 | | Zhi Liu,
Jian Lu,
Xiaochun Dai:
Dynamic Demo System of Data Structure with C++/MFC.
ICYCS 2008: 2669-2674 |
| 79 | | Gang Zhou,
Jian Lu,
Chieh-Yih Wan,
Mark D. Yarvis,
John A. Stankovic:
BodyQoS: Adaptive and Radio-Agnostic QoS for Body Sensor Networks.
INFOCOM 2008: 565-573 |
| 78 | | Robert F. Dickerson,
Jiakang Lu,
Jian Lu,
Kamin Whitehouse:
Stream Feeds - An Abstraction for the World Wide Sensor Web.
IOT 2008: 360-375 |
| 77 | | Robert F. Dickerson,
Jiakang Lu,
Jingyuan Li,
Billy Chantree,
Jian Lu,
John A. Stankovic,
Kamin Whitehouse:
MetroNet: Case Study for Collaborative Data Sharing on the World Wide Web.
IPSN 2008: 557-558 |
| 76 | | Jun Ma,
Xuansong Li,
XianPing Tao,
Jian Lu:
Cluster filtered KNN: A WLAN-based indoor positioning scheme.
WOWMOM 2008: 1-8 |
| 75 | | Jian Lu,
Tsuyoshi Ikehara,
Yi Zhang,
Takashi Mihara,
Toshihiro Itoh,
Ryutaro Maeda:
High Quality Factor Silicon Cantilever Driven by PZT Actuator for Resonant Based Mass Detection
CoRR abs/0805.0933: (2008) |
| 74 | | Taolue Chen,
Jian Lu:
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
Electr. Notes Theor. Comput. Sci. 212: 55-70 (2008) |
| 73 | | Lianwei Guan,
Xingyu Li,
Hao Hu,
Jian Lu:
A Petri net-based approach for supporting aspect-oriented modeling.
Frontiers of Computer Science in China 2(4): 413-423 (2008) |
| 72 | | XianPing Tao,
Xiaoxing Ma,
Jian Lu,
Ping Yu,
Yu Zhou:
Multi-mode interaction middleware for software services.
Science in China Series F: Information Sciences 51(8): 985-999 (2008) |
| 2007 |
|---|
| 71 | | Reng Yin,
Hao Hu,
JiDong Ge,
Jian Lu:
Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets.
APSEC 2007: 526-533 |
| 70 | | Taolue Chen,
Tingting Han,
Jian Lu:
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
FSKD (2) 2007: 21-25 |
| 69 | | Taolue Chen,
Jian Lu:
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.
FSKD (2) 2007: 35-39 |
| 68 | | Shaxun Chen,
JiDong Ge,
XianPing Tao,
Jian Lu:
A Transaction Model for Context-Aware Applications.
GPC 2007: 252-262 |
| 67 | | Yu Zhou,
Jiannong Cao,
Vaskar Raychoudhury,
Joanna Izabela Siebert,
Jian Lu:
A Middleware Support for Agent-Based Application Mobility in Pervasive Environments.
ICDCS Workshops 2007: 9 |
| 66 | | Qiang Lin,
JiDong Ge,
Hao Hu,
Jian Lu:
An Approach to Model Cross-organizational Processes using Object Petri net.
IEEE SCW 2007: 146-152 |
| 65 | | Shaxun Chen,
Tao Gu,
XianPing Tao,
Jian Lu:
Application Based Distance Measurement for Context Retrieval in Ubiquitous Computing.
MobiQuitous 2007: 1-7 |
| 64 | | Yu Zhou,
Jian Pan,
Xiaoxing Ma,
Bin Luo,
XianPing Tao,
Jian Lu:
Applying ontology in architecture-based self-management applications.
SAC 2007: 97-103 |
| 63 |  | Xiaoxing Ma,
Yu Zhou,
Jian Pan,
Ping Yu,
Jian Lu:
Constructing Self-Adaptive Systems with Polymorphic Software Architecture.
SEKE 2007: 2-8 |
| 62 | | Qin Yin,
Hao Hu,
Jun Li,
Jian Lu:
A Middleware Approach for Behavior Consistent Composition of Services in Smart Space.
SOCA 2007: 233-240 |
| 61 | | Ping Yu,
Xiaoxing Ma,
Jian Lu:
Expectation, experiment and reflection on internet software evolution.
ACM SIGSOFT Software Engineering Notes 32(3): 1-5 (2007) |
| 60 | | Jian Lu,
Zhongxing Ye,
Yuru Zou:
Automatic generation of colorful patterns with wallpaper symmetries from dynamics.
The Visual Computer 23(6): 445-449 (2007) |
| 2006 |
|---|
| 59 | | Jun Li,
Yingyi Bu,
Shaxun Chen,
XianPing Tao,
Jian Lu:
FollowMe: On Research of Pluggable Infrastructure for Context-Awareness.
AINA (1) 2006: 199-204 |
| 58 | | JiDong Ge,
Hao Hu,
Jian Lu:
Invariant Analysis for the Task Refinement of Workflow Nets.
CIMCA/IAWTIC 2006: 209 |
| 57 | | Yingyi Bu,
Shaxun Chen,
Jun Li,
XianPing Tao,
Jian Lu:
Context Consistency Management Using Ontology Based Model.
EDBT Workshops 2006: 741-755 |
| 56 | | Wentian Lu,
Jun Li,
XianPing Tao,
Xiaoxing Ma,
Jian Lu:
Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection.
EuroSSC 2006: 143-158 |
| 55 | | Taolue Chen,
Tingting Han,
Jian Lu:
On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
FSKD 2006: 149-158 |
| 54 | | JiDong Ge,
Hao Hu,
Qing Gu,
Jian Lu:
Modeling Multi-View Software Process with Object Petri Nets.
ICSEA 2006: 41 |
| 53 | | Bing Shi,
XianPing Tao,
Jian Lu:
Rewards-based negotiation for providing context information.
MPAC 2006: 8 |
| 52 | | Yingyi Bu,
Tao Gu,
XianPing Tao,
Jun Li,
Shaxun Chen,
Jian Lu:
Managing Quality of Context in Pervasive Computing.
QSIC 2006: 193-200 |
| 51 | | Ping Yu,
Jiannong Cao,
Weidong Wen,
Jian Lu:
Mobile Agent Enabled Application Mobility for Pervasive Computing.
UIC 2006: 648-657 |
| 50 | | Shaxun Chen,
Yingyi Bu,
Jun Li,
XianPing Tao,
Jian Lu:
Toward Context-Awareness: A Workflow Embedded Middleware.
UIC 2006: 766-775 |
| 49 | | Taolue Chen,
Tingting Han,
Jian Lu:
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern. 17(3): (2006) |
| 48 | | Yuru Zou,
Wenxia Li,
Jian Lu,
Ruisong Ye:
Orbit trap rendering method for generating artistic images with cyclic or dihedral symmetry.
Computers & Graphics 30(3): 470-473 (2006) |
| 47 | | Anthony D. Joseph,
Alastair R. Beresford,
Jean Bacon,
David N. Cottingham,
Jonathan J. Davies,
Brian D. Jones,
Haitao Guo,
Wei Guan,
Yong Lin,
Houbing Song,
Liviu Iftode,
Simone Fuchs,
Bernhard Lamprecht,
Kyandoghere Kyamakya,
Jorge González Fernández,
Juan Carlos Yelmo García,
Yod Samuel Martín García,
Jorge de Gracia Santos,
Milind Nimesh,
Gang Pan,
Zhaohui Wu,
Qing Wu,
Zhenyu Shan,
Jie Sun,
Jian Lu,
Guoqing Yang,
Muhammad Khurram Khan,
Jiashu Zhang:
Intelligent Transportation Systems.
IEEE Pervasive Computing 5(4): 63-67 (2006) |
| 46 | | Chun Cao,
Jian Lu:
Path-history-based access control for mobile agents.
IJPEDS 21(3): 215-225 (2006) |
| 2005 |
|---|
| 45 | | Guihai Chen,
Yi Pan,
Minyi Guo,
Jian Lu:
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops, ISPA 2005 International Workshops AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings
Springer 2005 |
| 44 | | Yin Qin,
Hao Hu,
Li Jun,
JiDong Ge,
Jian Lu:
An Approach to Ensure Service Behavior Consistency in OSGi.
APSEC 2005: 185-192 |
| 43 | | Ping Yu,
Xiaoxing Ma,
Jian Lu:
Dynamic Software Architecture Oriented Service Composition and Evolution.
CIT 2005: 1123-1129 |
| 42 | | Taolue Chen,
Tingting Han,
Jian Lu:
Analysis of A Leader Election Algorithm in uCRL.
CIT 2005: 841-847 |
| 41 | | Tingting Han,
Taolue Chen,
Jian Lu:
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
COMPSAC (1) 2005: 71-76 |
| 40 | | Yingyi Bu,
Jun Li,
Shaxun Chen,
XianPing Tao,
Jian Lu:
An Enhanced Ontology Based Context Model and Fusion Mechanism.
EUC 2005: 920-929 |
| 39 | | Taolue Chen,
Tingting Han,
Jian Lu:
On the Bisimulation Congruence in chi-Calculus.
FSTTCS 2005: 128-139 |
| 38 | | Haiyang Hu,
XianPing Tao,
JiDong Ge,
Jian Lu:
An Efficient Scheme for Fault-Tolerant Web Page Access in Wireless Mobile Environment Based on Mobile Agents.
HPCC 2005: 378-387 |
| 37 | | Chun Cao,
Jian Lu:
A Path-History-Sensitive Access Control Model for Mobile Agent Environment.
ICDCS Workshops 2005: 660-663 |
| 36 | | Haiyang Hu,
JiDong Ge,
Ping Lu,
XianPing Tao,
Jian Lu:
Supporting Wireless Web Page Access in Mobile Environments Using Mobile Agents.
ISPA 2005: 859-869 |
| 35 | | Tingting Han,
Taolue Chen,
Jian Lu:
Structure Analysis for Dynamic Software Architecture.
SNPD 2005: 338 |
| 34 | | Jian Lu,
Zhongxing Ye,
Yuru Zou,
Ruisong Ye:
Orbit trap rendering methods for generating artistic images with crystallographic symmetries.
Computers & Graphics 29(5): 787-794 (2005) |
| 33 | | Taolue Chen,
Tingting Han,
Jian Lu:
A Modal Logic for pi-Calculus and Model Checking Algorithm.
Electr. Notes Theor. Comput. Sci. 123: 19-33 (2005) |
| 32 | | Minyi Guo,
Weng-Long Chang,
Jian Lu,
Minglu Li:
One-dimensional I test and direction vector I test with array references by induction variable.
IJHPCN 3(4): 219-226 (2005) |
| 2004 |
|---|
| 31 | | Ruisong Ye,
Yuru Zou,
Jian Lu:
Fractal Tiling with the Extended Modular Group.
CIS 2004: 286-291 |
| 30 | | Taolue Chen,
Tingting Han,
Jian Lu:
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
CIT 2004: 540-545 |
| 29 | | Taolue Chen,
Tingting Han,
Jian Lu:
Towards a Model Logic for p-Calculus.
COMPSAC 2004: 330-335 |
| 28 | | Jiannong Cao,
Jingyang Zhou,
Weiwei Zhu,
Daoxu Chen,
Jian Lu:
A Mobile Agent Enabled Approach for Distributed Deadlock Detection.
GCC 2004: 535-542 |
| 27 | | Taolue Chen,
Tingting Han,
Jian Lu:
Tree logic with recursion and model checking algorithm.
IASTED Conf. on Software Engineering and Applications 2004: 588-593 |
| 26 | | Jian Lu:
Some research on componentware frameworks based on mobile agent technology.
ACM SIGSOFT Software Engineering Notes 29(2): 8 (2004) |
| 25 | | Taolue Chen,
Jingyang Zhou,
Tingting Han,
Jian Lu:
Checking Strong Open Congruence in Chi -Calculus.
Electr. Notes Theor. Comput. Sci. 91: 4-20 (2004) |
| 24 | | Jiannong Cao,
Xinyu Feng,
Jian Lu,
Henry C. B. Chan,
Sajal K. Das:
Reliable message delivery for mobile agents: push or pull?
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(5): 577-587 (2004) |
| 2003 |
|---|
| 23 | | Tian Jin,
Jian Lu,
XiangZhi Sheng:
Admire - A Prototype of Large Scale E-collaboration Platform.
GCC (2) 2003: 335-343 |
| 22 | | Xiaoxing Ma,
Jian Lu,
Jiannong Cao,
Alvin T. S. Chan,
Kang Zhang:
A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.
SEKE 2003: 518-525 |
| 21 | | Taolue Chen,
Tingting Han,
Jian Lu:
Intensionality of modal logic for Robust Ambient Calculus.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
| 20 | | Jiannong Cao,
Xiaoxing Ma,
Alvin T. S. Chan,
Jian Lu:
Architecting and implementing distributed Web applications using the graph-oriented approach.
Softw., Pract. Exper. 33(9): 799-820 (2003) |
| 2002 |
|---|
| 19 | | Xiaoxing Ma,
Alvin T. S. Chan,
Jian Lu:
WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications.
ICPP 2002: 266-275 |
| 18 | | Jian Lu:
An Architecture for Delivering Broadband Video over the Internet .
ITCC 2002: 542 |
| 17 | | Jiannong Cao,
Xinyu Feng,
Jian Lu,
Sajal K. Das:
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.
IEEE Computer 35(9): 54-60 (2002) |
| 16 | | Yisong Chen,
Jian Lu,
Zhengxing Sun,
Fuyan Zhang:
Greylevel Difference Classification Algorithm in Fractal Image Compression.
J. Comput. Sci. Technol. 17(2): 236- (2002) |
| 15 | | Simon N. Twigger,
Jian Lu,
Mary Shimoyama,
Dan Chen,
Dean Pasko,
Hanping Long,
Jessica Ginster,
Chin-Fu Chen,
Rajni Nigam,
Anne E. Kwitek,
Janan T. Eppig,
Lois Maltais,
Donna R. Maglott,
Gregory D. Schuler,
Howard J. Jacob,
Peter J. Tonellato:
Rat Genome Database (RGD): mapping disease onto the genome.
Nucleic Acids Research 30(1): 125-128 (2002) |
| 2001 |
|---|
| 14 | | Jian Lu:
Reactive and Proactive Approaches to Media Streaming: From Scalable Coding to Content Delivery Networks.
ITCC 2001: 5-9 |
| 13 | | Jian Lu,
Ming Zhang,
Mengqiao Xu,
Dajun Yang:
A two-layered-class approach for the reuse of synchronization code.
Information & Software Technology 43(5): 287-294 (2001) |
| 2000 |
|---|
| 12 | | Jian Lu,
Yingjun Li,
Xiaoxing Ma,
Cai Min,
XianPing Tao,
Guanqun Zhang,
Jianzhong Liu:
A hierarchical framework: for parallel seismic applications.
Commun. ACM 43(10): 55-59 (2000) |
| 1999 |
|---|
| 11 | | Yingjun Li,
Jian Lu:
Framework-Based Software Reuse for Interactive Seismic Processing Applications.
TOOLS (31) 1999: 239-244 |
| 10 | | Yingjun Li,
Jian Lu:
SEIS++: A Pattern Language for Seismic Tools Construction and Integration.
SIGPLAN Notices 34(12): 57-66 (1999) |
| 1998 |
|---|
| 9 | | Hwan Dong,
Junhua Ding,
Xin Li,
Jian Lu:
On Open Communication Frameworks for Software Agents.
TOOLS (27) 1998: 188-195 |
| 1997 |
|---|
| 8 | | Lu Pei,
Dachuan Yu,
Jian Lu:
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment.
SIGPLAN Notices 32(9): 57-60 (1997) |
| 1996 |
|---|
| 7 | | Jian Lu,
Zongming Fei:
Verification of HOS Software Specification by a Hierarchical Software Understanding Approach.
Journal of Systems and Software 32(2): 135-142 (1996) |
| 1995 |
|---|
| 6 | | Jian Lu,
V. Ralph Algazi,
R. R. R. Estes:
Evaluation and synthesis of wavelet image coders.
ICIP 1995: 590-593 |
| 5 | | Jian Lu:
Introducting Data Decomposition into VDM for Tractable Development of Programs.
SIGPLAN Notices 30(9): 41-50 (1995) |
| 1994 |
|---|
| 4 | | Jian Lu,
Dennis M. Healy Jr.:
Contrast Enhancement Via Multiscale Gradient Transformation.
ICIP (2) 1994: 482-486 |
| 3 | | Yansun Xu,
John B. Weaver,
Dennis M. Healy Jr.,
Jian Lu:
Wavelet transform domain filters: a spatially selective noise filtration technique.
IEEE Transactions on Image Processing 3(6): 747-758 (1994) |
| 1993 |
|---|
| 2 | | Jian Lu:
Parallelizing Mallat Algorithm for 2-D Wavelet Transforms.
Inf. Process. Lett. 45(5): 255-259 (1993) |
| 1 | | Zongming Fei,
Jian Lu:
An Approach Toward Mechanization of Acquiring Reusable Software Components.
SIGPLAN Notices 28(8): 46-52 (1993) |
