


Остановите войну!
for scientists:


default search action
Farokh B. Bastani
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c160]Hieu Tran, Miao Miao, Farokh B. Bastani, I-Ling Yen:
Multi-Keyword Based Information Routing in Peer-to-Peer Networks. ICOIN 2023: 791-796 - [c159]I-Ling Yen, Ayu Tiwari, Farokh B. Bastani:
Access Control in Dynamic IoT Scenarios. ISADS 2023: 1-8 - 2022
- [c158]Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani:
TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction. ITSC 2022: 1921-1926 - [i5]Hieu Tran
, Son Nguyen, I-Ling Yen, Farokh B. Bastani:
IoT Data Discovery: Routing Table and Summarization Techniques. CoRR abs/2203.10791 (2022) - [i4]Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani:
TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction. CoRR abs/2206.08513 (2022) - 2021
- [c157]Hieu Tran
, Son Nguyen, I-Ling Yen, Farokh B. Bastani:
Into Summarization Techniques for IoT Data Discovery Routing. CLOUD 2021: 96-105 - [c156]Hessam Moeini, I-Ling Yen, Farokh B. Bastani:
Decentralized Service Discovery and Composition in Dynamic IoT Systems. ICPADS 2021: 130-137 - [i3]Hieu Tran, Son Nguyen, I-Ling Yen, Farokh B. Bastani:
Into Summarization Techniques for IoT Data Discovery Routing. CoRR abs/2107.09558 (2021) - 2020
- [j50]Yongjia Yu
, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan
:
Integrating clustering and regression for workload estimation in the cloud. Concurr. Comput. Pract. Exp. 32(23) (2020) - [c155]Hachem Moussa, I-Ling Yen, Farokh B. Bastani:
Service Management in the Edge Cloud for Stream Processing of IoT Data. CLOUD 2020: 91-98 - [i2]Hessam Moeini, I-Ling Yen, Farokh B. Bastani:
Summarization in Semantic Based Service Discovery in Dynamic IoT-Edge Networks. CoRR abs/2009.02858 (2020)
2010 – 2019
- 2019
- [c154]Lijuan Diao, Huaduo Wang, Sultan Alsarra, I-Ling Yen, Farokh B. Bastani:
A Smart Role Mapping Recommendation System. COMPSAC (2) 2019: 135-140 - [c153]Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani:
Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. HASE 2019: 25-32 - [c152]Hessam Moeini, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani:
Toward Data Discovery in Dynamic Smart City Applications. HPCC/SmartCity/DSS 2019: 2572-2579 - [c151]Hessam Moeini, I-Ling Yen, Farokh B. Bastani:
Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks. ICPADS 2019: 703-710 - [c150]Hessam Moeini, I-Ling Yen, Farokh B. Bastani:
Service Specification and Discovery in IoT Networks. ICWS 2019: 55-59 - [c149]Fang Li
, Huaduo Wang, Lijuan Diao, I-Ling Yen, Farokh B. Bastani:
Toward Semi-Automated Role Mapping for IoT Systems in Smart Cities. ISC2 2019: 205-211 - [c148]Sultan Alsarra, I-Ling Yen, Yongtao Huang, Farokh B. Bastani, Bhavani Thuraisingham:
An OpenRBAC Semantic Model for Access Control in Vehicular Networks. SACMAT 2019: 93-102 - [c147]Hachem Moussa
, I-Ling Yen, Farokh B. Bastani, Yulin Dong, Wei He:
Toward Better Service Performance Management via Workload Prediction. SCC 2019: 92-106 - [c146]Wenxi Zeng, Shuai Zhang, I-Ling Yen, Farokh B. Bastani, San-Yih Hwang:
Monitoring Data Management Services on the Edge Using Enhanced TSDBs. SOCA 2019: 9-16 - [c145]Wenxi Zeng, Shuai Zhang, I-Ling Yen, Farokh B. Bastani:
Invited Paper: Semantic IoT Data Description and Discovery in the IoT-Edge-Fog-Cloud Infrastructure. SOSE 2019 - [i1]Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani:
Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. CoRR abs/1902.03533 (2019) - 2018
- [c144]Yongjia Yu
, Vasu Jindal, Farokh B. Bastani, Fang Li
, I-Ling Yen:
Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction. COMPSAC (2) 2018: 38-44 - [c143]Nidhiben Solanki, Yongtao Huang, I-Ling Yen, Farokh B. Bastani, Yuqun Zhang:
Resource and Role Hierarchy Based Access Control for Resourceful Systems. COMPSAC (2) 2018: 480-486 - [c142]Himlun Bista, I-Ling Yen, Farokh B. Bastani, Martin Mueller, Darnell Moore:
Semantic-Based Information Sharing in Vehicular Networks. ICWS 2018: 282-289 - [c141]I-Ling Yen, Farokh B. Bastani, Nidhiben Solanki, Yongtao Huang:
Trustworthy Computing in the Dynamic IoT Cloud. IRI 2018: 411-418 - [c140]I-Ling Yen, Farokh B. Bastani, Wei Zhu, Hessam Moeini, San-Yih Hwang, Yuqun Zhang:
Service-Oriented IoT Modeling and Its Deviation from Software Services. SOSE 2018: 40-47 - 2017
- [c139]Hessam Moeini, I-Ling Yen, Farokh B. Bastani:
Routing in IoT Network for Dynamic Service Discovery. ICPADS 2017: 360-367 - [c138]I-Ling Yen, Farokh B. Bastani, San-Yih Hwang, Wei Zhu, Guang Zhou:
From Software Services to IoT Services: The Modeling Perspective. ICServ 2017: 215-223 - [c137]Hessam Moeini, I-Ling Yen, Farokh B. Bastani:
Efficient Caching for Peer-to-Peer Service Discovery in Internet of Things. ICWS 2017: 196-203 - [c136]I-Ling Yen, Farokh B. Bastani, Yongtao Huang, Yuqun Zhang, Xin Yao
:
SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics. ICWS 2017: 412-419 - [c135]Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Yuqun Zhang:
Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques. ICWS 2017: 596-603 - [c134]Shuai Zhang, I-Ling Yen, Farokh B. Bastani, Hessam Moeini, Darnell Moore:
A Semantic Model for Information Sharing in Autonomous Vehicle Systems. ICSC 2017: 32-39 - [c133]I-Ling Yen, Shuai Zhang, Farokh B. Bastani, Yuqun Zhang:
A Framework for IoT-Based Monitoring and Diagnosis of Manufacturing Systems. SOSE 2017: 1-8 - 2016
- [j49]Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Fast strong planning for fully observable nondeterministic planning problems. Ann. Math. Artif. Intell. 78(2): 131-155 (2016) - [j48]Wei She, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Bhavani Thuraisingham:
Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems. IEEE Trans. Serv. Comput. 9(6): 940-953 (2016) - [c132]Yongjia Yu
, Vasu Jindal, I-Ling Yen, Farokh B. Bastani:
Integrating Clustering and Learning for Improved Workload Prediction in the Cloud. CLOUD 2016: 876-879 - [c131]Guang Zhou, Jinwei Yuan, I-Ling Yen, Farokh B. Bastani:
Robust real-time UAV based power line detection and tracking. ICIP 2016: 744-748 - [c130]Nidhiben Solanki, Wei Zhu, I-Ling Yen, Farokh B. Bastani, Elham Rezvani:
Multi-tenant Access and Information Flow Control for SaaS. ICWS 2016: 99-106 - [c129]Guang Zhou, Farokh B. Bastani, Wei Zhu, I-Ling Yen:
A Self-Stabilizing Algorithm for the Foraging Problem in Swarm Robotic Systems. IROS 2016: 2907-2912 - [c128]Shuai Zhang, I-Ling Yen, Farokh B. Bastani:
Toward Semantic Enhancement of Monitoring Data Repository. ICSC 2016: 140-147 - [c127]I-Ling Yen, Wei Zhu, Farokh B. Bastani, Yongtao Huang, Guang Zhou:
Rapid Service Composition Reasoning for Agile Cyber Physical Systems. SOSE 2016: 442-449 - 2015
- [c126]Nidhiben Solanki, Timothy Hoffman, I-Ling Yen, Farokh B. Bastani, Stephen S. Yau:
An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems. COMPSAC (Stephen S. Yau Academic Symposium) 2015: 60-67 - [c125]Wei Zhu, Guang Zhou, I-Ling Yen, Farokh B. Bastani:
A PT-SOA Model for CPS/IoT Services. ICWS 2015: 647-654 - [c124]I-Ling Yen, Guang Zhou, Wei Zhu, Farokh B. Bastani, San-Yih Hwang:
A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing. ICWS 2015: 765-772 - [c123]Jemishkumar Patel, Vasu Jindal, I-Ling Yen, Farokh B. Bastani, Jie Xu, Peter Garraghan
:
Workload Estimation for Improving Resource Management Decisions in the Cloud. ISADS 2015: 25-32 - 2014
- [j47]Andres Calderon Jaramillo, Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Fast Strong Planning for FOND Problems with Multi-Root Directed Acyclic Graphs. Int. J. Artif. Intell. Tools 23(6) (2014) - [c122]Jinwei Yuan, Farokh B. Bastani:
Robust object tracking via online informative feature selection. ICIP 2014: 471-475 - [c121]Jinwei Yuan, Farokh B. Bastani:
Online feature subset selection for object tracking. ICIP 2014: 3253-3257 - 2013
- [j46]Manghui Tu, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani, Dianxiang Xu:
Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing. J. Grid Comput. 11(1): 103-127 (2013) - [c120]Yunqi Ye, Liangliang Xiao, Yinzi Chen, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen:
Access Protocols in Data Partitioning Based Cloud Storage. IEEE CLOUD 2013: 398-405 - [c119]Wei Zhu, Jian Huang, Farokh B. Bastani, I-Ling Yen:
Multi-purpose Planning for Practical Web Service Composition Problems. ICSSI 2013: 131-138 - [c118]Jicheng Fu, Andres Calderon Jaramillo, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Fast Strong Planning for FOND Problems with Multi-root Directed Acyclic Graphs. ICTAI 2013: 87-94 - 2012
- [j45]Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen:
Optimization models for assessing the peak capacity utilization of intelligent transportation systems. Eur. J. Oper. Res. 216(1): 239-251 (2012) - [c117]Jian Huang, Wei Zhu, Farokh B. Bastani, I-Ling Yen, Jicheng Fu:
Automated Exception Handling in Service Composition Using Holistic Planning. CSE 2012: 251-258 - [c116]Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan
:
Real-Time Anomaly Detection in Streams of Execution Traces. HASE 2012: 32-39 - [c115]Jicheng Fu, Sijie Tian, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Handling Planning Failures with Virtual Actions. ICTAI 2012: 468-475 - [c114]Guang Zhou, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen:
Service-Oriented Robotic Swarm Systems: Model and Structuring Algorithms. ISORC 2012: 95-102 - [c113]Liangliang Xiao, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul:
Information Assurance for Real-Time Decision Support. ISORC Workshops 2012: 150-155 - 2011
- [c112]Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Leveraging Service Clouds for Power and QoS Management for Mobile Devices. IEEE CLOUD 2011: 235-242 - [c111]Manasi Peshave, Farokh B. Bastani, I-Ling Yen:
High-Assurance Reconfigurable Multicore Processor Based Systems. HASE 2011: 220-226 - [c110]Angie Shia, Farokh B. Bastani, I-Ling Yen:
ROBUST Path Strategy Evaluator. ICTAI 2011: 567-574 - [c109]Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen:
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. IJCAI 2011: 1949-1954 - [c108]Angie Shia, Farokh B. Bastani, I-Ling Yen:
A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. ISADS 2011: 147-153 - [c107]Jicheng Fu, Wei Hao, Farokh B. Bastani, I-Ling Yen:
Model-Driven Development: Where Does the Code Come From? ICSC 2011: 255-262 - [c106]Wei She, I-Ling Yen, Farokh B. Bastani, Bao N. Tran, Bhavani Thuraisingham:
Role-based integrated access control and data provenance for SOA based net-centric systems. SOSE 2011: 225-234 - 2010
- [j44]Hachem Moussa, Tong Gao, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng:
Toward effective service composition for real-time SOA-based systems. Serv. Oriented Comput. Appl. 4(1): 17-31 (2010) - [c105]Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani:
Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. HASE 2010: 152-161 - [c104]Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Scalable Authentication and Key Management in SCADA. ICPADS 2010: 172-179 - [c103]Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Cloud Storage Design Based on Hybrid of Replication and Data Partitioning. ICPADS 2010: 415-422 - [c102]Jicheng Fu, Wei Hao, I-Ling Yen, Farokh B. Bastani:
Using Virtual Services to Bridge the Semantic Gap. ICSC 2010: 218-223 - [c101]Jicheng Fu, Wei Hao, Michael Tu, Biao Ma, Joshua Baldwin, Farokh B. Bastani:
Virtual Services in Cloud Computing. SERVICES 2010: 467-472 - [c100]Jian Huang, Yansheng Zhang, I-Ling Yen, John T. Carson, Mike F. Siok, Farokh B. Bastani, Yajing Zhao, Jing Dong:
Real-Time Service-Oriented Distributed Governance. SERVICES 2010: 479-484 - [c99]Yunqi Ye, Nisha Jain, Longsheng Xia, Suhas Joshi, I-Ling Yen, Farokh B. Bastani, Kenneth L. Cureton, Mark K. Bowler:
A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices. SOSE 2010: 236-243 - [c98]Jian Huang, Farokh B. Bastani, I-Ling Yen, Wenke Zhang:
A Framework for Efficient Service Composition in Cyber-Physical Systems. SOSE 2010: 291-298 - [c97]Yunqi Ye, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Secure, Dependable, and High Performance Cloud Storage. SRDS 2010: 194-203
2000 – 2009
- 2009
- [j43]Sumit Ghosh, Farokh B. Bastani:
Guest Editors' Introduction. Int. J. Semantic Comput. 3(1): 1-3 (2009) - [c96]Jian Huang, Farokh B. Bastani, I-Ling Yen, Jun-Jang Jeng:
Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model. COMPSAC (2) 2009: 122-127 - [c95]Yansheng Zhang, Farokh B. Bastani, I-Ling Yen:
Decentralized Path Planner for Multi-robot Systems. ICTAI 2009: 171-175 - [c94]Yansheng Zhang, Farokh B. Bastani:
Virtual-device framework for autonomous decentralized multi-robot systems. ISADS 2009: 73-80 - [c93]Yansheng Zhang, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau:
Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. ISSRE 2009: 51-60 - [c92]Jicheng Fu, Farokh B. Bastani, I-Ling Yen, Wei Hao:
Using Service Patterns to Achieve Web Service Composition. ICSC 2009: 402-407 - [c91]Jian Huang, Farokh B. Bastani, I-Ling Yen, Jing Dong, Wenke Zhang, Feng-Jian Wang, Hwai-Jung Hsu:
Extending service model to build an effective service composition framework for cyber-physical systems. SOCA 2009: 1-8 - 2008
- [j42]I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei:
QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems. Computer 41(8): 48-55 (2008) - [j41]Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul:
Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques. Int. J. Artif. Intell. Tools 17(2): 389-400 (2008) - [c90]Tong Gao, Hachem Moussa, I-Ling Yen, Farokh B. Bastani, Jun-Jang Jeng:
Service Composition for Real-Time Assurance. COMPSAC 2008: 1174-1179 - [c89]Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Security in a peer-to-peer data grid storage system. CSIIRW 2008: 28:1-28:3 - [c88]Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca:
An Early Reliability Assessment Model for Data-Flow Software Architectures. ENC 2008: 9-19 - [c87]Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Low Cost Secure Computation for the General Client-Server Computation Model. HASE 2008: 19-26 - [c86]Jicheng Fu, Farokh B. Bastani, I-Ling Yen:
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. HASE 2008: 333-342 - [c85]Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang:
FIP: A Fast Planning-Graph-Based Iterative Planner. ICTAI (1) 2008: 419-426 - [c84]Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen:
Availability Analysis of Robotic Swarm Systems. PRDC 2008: 331-338 - [c83]Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava
:
An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. ICSC 2008: 386-393 - [c82]Jiang He, I-Ling Yen, Tu Peng, Jing Dong, Farokh B. Bastani:
An Adaptive User Interface Generation Framework for Web Services. SERVICES II 2008: 175-182 - [c81]Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen:
A Space-Time Network Optimization Model for Traffic Coordination and Its Evaluation. SUTC 2008: 177-184 - 2007
- [j40]Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur Khan
, I-Ling Yen:
Rapid goal-oriented automated software testing using MEA-graph planning. Softw. Qual. J. 15(3): 241-263 (2007) - [j39]Jiang He, Tong Gao, Wei Hao, I-Ling Yen, Farokh B. Bastani:
A Flexible Content Adaptation System Using a Rule-Based Approach. IEEE Trans. Knowl. Data Eng. 19(1): 127-140 (2007) - [c80]Venkata U. B. Challagulla, Farokh B. Bastani, Raymond A. Paul, Wei-Tek Tsai, Yinong Chen
:
A Machine Learning-Based Reliability Assessment Model for Critical Software Systems. COMPSAC (1) 2007: 79-86 - [c79]Jicheng Fu, Farokh B. Bastani, I-Ling Yen:
Iterative Planning in the Context of Automated Code Synthesis. COMPSAC (1) 2007: 251-259 - [c78]Yansheng Zhang, Farokh B. Bastani, I-Ling Yen:
Self-stabilizing Structure Forming Algorithms for Distributed Multi-robot Systems. EUC 2007: 754-766 - [c77]Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh B. Bastani:
Placement in Dependable and Secure Peer-to-Peer Data Grids. HASE 2007: 133-140 - [c76]Nirav Shah, Subodha Kumar, Farokh B. Bastani, I-Ling Yen:
An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections. ITSC 2007: 12-17 - [c75]Jicheng Fu, Farokh B. Bastani, I-Ling Yen:
Model-Driven Prototyping Based Requirements Elicitation. Monterey Workshop 2007: 43-61 - [c74]Liangliang Xiao, I-Ling Yen, Yanjin Zhang, Farokh B. Bastani:
Evaluating Dependable Distributed Storage Systems. PDPTA 2007: 948-954 - 2006
- [j38]Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan
, Farokh B. Bastani:
A Repository for Component-based Embedded Software Development. Int. J. Softw. Eng. Knowl. Eng. 16(4): 523-552 (2006) - [j37]Manghui Tu, Peng Li, Liangliang Xiao, I-Ling Yen, Farokh B. Bastani:
Replica Placement Algorithms for Mobile Transaction Systems. IEEE Trans. Knowl. Data Eng. 18(7): 954-970 (2006) - [j36]Wei Hao, Jicheng Fu, Jiang He, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen:
Extending Proxy Caching Capability: Issues and Performance. World Wide Web 9(3): 253-275 (2006) - [c73]Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano:
Instantiation Semantics for Message Sequence Charts. ENC 2006: 191-199 - [c72]Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen:
A Unified Framework for Defect Data Analysis Using the MBR Technique. ICTAI 2006: 39-46 - [c71]Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany:
QoS Adaptive ISHM Systems. ICTAI 2006: 47-54 - [c70]Jicheng Fu, Farokh B. Bastani, I-Ling Yen:
Automated AI Planning and Code Pattern Based Code Synthesis. ICTAI 2006: 540-546 - [c69]Jian Liu, Jicheng Fu, Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Ann T. Tai, Savio N. Chau:
Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. ISORC 2006: 109-116 - [c68]Wei-Tek Tsai, Miroslaw Malek, Yinong Chen
, Farokh B. Bastani:
Perspectives on Service-Oriented Computing and Service-Oriented System Engineering. SOSE 2006: 3-10 - [c67]Nirav Shah, Farokh B. Bastani, I-Ling Yen:
A Real-Time Scheduling Based Framework for Traffic Coordination Systems. SUTC (1) 2006: 321-325 - 2005
- [j35]Manish Gupta, Manghui Tu, Latifur Khan
, Farokh B. Bastani, I-Ling Yen:
A study of the model and algorithms for handling location-dependent continuous queries. Knowl. Inf. Syst. 8(4): 414-437 (2005) - [j34]