摘要： 组件 行为 LTS 普适计算 上下文相关 阅读全文

摘要： Formal Analysis of Web Service Compositions;Timed Modelling and Analysis in Web Service Compositions;Representation, Verification, and Computation of Timed Properties in Web Service Compositions 阅读全文

摘要： Web 服务组合与时间属性的论文：（1）Timed Properties-Aware Asynchronous Web Service Composition.（2） Timed Specification For Web Services Compatibility Analysis. 阅读全文

摘要： Jyotishman Pathak phd thesis;LTS 阅读全文

摘要： SAMIK BASU http://www.cs.iastate.edu/~sbasu/ Assistant Professor Department of Computer Science Iowa State University 210 Atanasoff Hall Ames, IA 50011-1040 Phone: 515-294-6045 Fax: 515-2... 阅读全文

摘要： Robyn R. Lutz http://www.cs.iastate.edu/~rlutz/ Email: rlutz at cs.iastate.edu Voice: 515-294-3654 Fax: 515-294-0258 Professor Department of Computer Science 226 Atanasoff Hall Iowa S... 阅读全文

摘要： Vasant Honavar http://www.cs.iastate.edu/~honavar/ Professor of Computer Science Artificial Intelligence Research Laboratory Center for Computational Intelligence, Learning, & Discovery Bioinforma... 阅读全文

摘要： Interactive and verifiable web services composition, specification reformulation and substitution；LTS 阅读全文

摘要： 发表于Data & Knowledge Engineering 67 (2008) 463–484 #2009science 服务组合分为两种类型：orchestrated services和choreographed services 集中式和分布式 Complex services can be handled both as orchestrated services, and thus ... 阅读全文

摘要： Presentation Outline 1. Introduction 2. Why Ph.D. thesis could be really difficult for a student 3. Types of Ph.D. theses (from Allen Newell)--not a topic of this talk 4. Growth of a star (the transformation process that some students go through to become a mature researcher)--which stage are you in? 5. Stages of Ph.D. thesis research 6. Methods to get into the depth of a topic (or how to come up with good ideas) 7. Breaking myths 8. Pitfalls to avoid (easy one 阅读全文