Publications-全部

Showing 26-50 of 78
Date Title Type Full Text
2015-03 Automatic Query Rewriting Schemes for Multi-Tenant SaaS Applications article pdf(613)
2015-01 A Platform for Detecting High-Level Contexts from Complex Event Streams in Pervasive Environment conference pdf(424)
2015 以Scala研發函數反應式之智慧環境領域專屬語言 report pdf(238)
2015 跨平台社群媒體巨量資料蒐集與分析 report pdf(434)
2014-09 A service framework for multi-tenant enterprise application in SaaS environments conference 說明頁(993)
2013.08 Development of a daily mortality probability prediction model from Intensive Care Unit patients using a discrete-time event history analysis article pdf(1176)
2013-07 A scripting language for automating secure multiparty computation conference 說明頁(976)
2013-03 Modularizing tenant-specific schema customization in SaaS applications article 說明頁(903)
2013 安全多方計算協定描述語言之設計與實作(III) report 說明頁(635)
2012 Toward a tenant-aware query rewriting engine for Universal Table schema-mapping conference 說明頁(882)
2012 安全多方計算協定描述語言之設計與實作(II) report 說明頁(1004)
2012 Finding security vulnerabilities in Java web applications with test generation and dynamic taint analysis article pdf(702)
2011.06 Side-Effect Localization for Lazy, Purely Functional Languages via Aspects article pdf(1143)
2011-06 Developing guideline-based decision support systems using protégé and jess article pdf(544)
2011 安全多方計算協定描述語言之設計與實作 (I) report 說明頁(621)
2010-11 Type-directed weaving of aspects for polymorphically typed functional languages article pdf(716)
2010-03 A guideline-based decision support for pharmacological treatment can improve the quality of hyperlipidemia management article pdf(1136)
2010-03 Aspect-oriented design and implementation of adaptable access control for Electronic Medical Records article pdf(694)
2010 程式之模組性與擴充性---驗證方法與工具---子計畫五:剖面導向函數語言之模組化狀態處理與型態擴充研究 (III) report pdf(709)
2010 Aspect-oriented design and implementation of adaptable access control for Electronic Medical Records article pdf(760)
2010 Type-directed weaving of aspects for polymorphically typed functional languages article pdf(779)
2009-08 An Empirical Study on Privacy and Secure Multi-party Computation using Exponentiation conference
2009-01 Designing Aspects for Side-Effect Localization conference pdf(518)
2009 程式之模組性與擴充性---驗證方法與工具---子計畫五:剖面導向函數語言之模組化狀態處理與型態擴充研究 (II) report 說明頁(653)
2008 程式之模組性與擴充性---驗證方法與工具---子計畫五:剖面導向函數語言之模組化狀態處理與型態擴充研究 (I) report 說明頁(505)