Travelled to:1 × Canada
1 × Latvia
1 × Republic of China
2 × Italy
9 × USA
Collaborated with:X.He ∅ W.Sun H.Yu J.Ding S.Lu N.Rishe S.Chang S.Gao N.N.Vuong G.Smith R.K.Ege D.Wang L.Zheng T.Li L.Mo W.Du P.C.Attie M.Evangelist S.Guo Y.Ling W.Sun T.Shi G.Argote-Garcia D.Xu P.J.Clarke K.Beznosov K.M.L.Cooper
Talks about:system (7) design (7) architectur (5) distribut (4) softwar (4) specif (4) orient (4) secur (4) model (4) environ (3)
Person: Yi Deng
DBLP: Deng:Yi
Contributed to:
2009
200820062005200420032002
20011996199519941993
19931992Wrote 16 papers:
- SIGIR-2009-WangZLD #documentation #summary
- Evolutionary document summarization for disaster management (DW, LZ, TL, YD), pp. 680–681.
- SEKE-2008-Deng #collaboration #ecosystem #education #research
- Building Global Ecosystem for Collaborative Computing Research and Education (YD), p. 3.
- SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling
- Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.
- SEKE-2005-DingXDCH #design #mobile #modelling
- Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models (JD, DX, YD, PJC, XH), pp. 560–565.
- SEKE-2004-GaoDYHBC #case study #design #security
- Applying Aspect-Orientation in Designing Security Systems: A Case Study (SG, YD, HY, XH, KB, KMLC), pp. 360–365.
- SEKE-2004-YuHDM #architecture #design #security
- Integrating Security Administration into Software Architectures Design (HY, XH, YD, LM), pp. 416–420.
- SEKE-2003-YuHGD #architecture #design #distributed #formal method
- Formal Software Architecture Design of Secure Distributed Systems (HY, XH, SG, YD), pp. 450–457.
- SEKE-2002-HeDD #architecture #model checking #specification
- Model checking software architecture specifications in SAM (XH, JD, YD), pp. 271–278.
- SAC-2001-VuongSD #distributed #policy #security #using #xml
- Managing security policies in a distributed environment using eXtensible markup language (XML) (NNV, GS, YD), pp. 405–411.
- SEKE-1996-DengDAE #architecture #distributed #modelling #realtime
- A Formalism for Architectural Modeling of Distributed Real-Time Systems (YD, WD, PCA, ME), pp. 408–417.
- SEKE-1995-LuD #analysis #distributed #object-oriented #simulation #specification
- An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems (SL, YD), pp. 402–410.
- SEKE-1994-GuoSRD #database #optimisation #query #reduction #semantics
- Semantic query optimization by class reference reduction in object- oriented databases (SG, WS, NR, YD), pp. 306–313.
- SEKE-1993-Deng #architecture #execution #specification
- Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
- SEKE-1993-DengES #design #execution #object-oriented #specification
- Executable Specifications for the Design of Object-Oriented Systems (YD, RKE, WS), pp. 46–53.
- SIGMOD-1993-SuLRD #estimation
- An Instant and Accurate Estimation Method for Joins and Selection in a Retrieval-Intensive Environment (WS, YL, NR, YD), pp. 79–88.
- SEKE-1992-DengC #design #multi
- Unifying Multi-Paradigms in Software System Design (YD, SKC), pp. 386–393.