no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- ontologies
- imported
- services
- analysis;
- software,
- semantics;
- system
- information_retrieval
- monitoring;systems
- panda
- 2.0
- network,
- program,
- masterarbeit
- specification;
- modeling,
- language
- annotating
- k-mer
- model,
- specification;program
- toread
- Arch-Java
- intention,
- analysis;temporal
- everyaware
- logic;Java;Petri
- retrieval
- myown
- data
- sequential
- continuance,
- breast.cancer
- code;Petri
- {diagrams;
- clustering
- relation_extraction
- Language;communicating
- diagnostics;programming
- argumentation
- official,
- neurowissenschaft
- communicating,
- discovery
- specification;UML
- utaut
- behavior,
- web
- bci
- No matching items.
- Yujian Fu, Zhijiang Dong, and Xudong He. Quality Software, 2006. QSIC 2006. Sixth International Conference on, page 57 -64. (October 2006)Yujian Fu, Zhijiang Dong, and Xudong He. Quality Software, 2006. QSIC 2006. Sixth International Conference on, page 57 -64. (October 2006)2 months and 21 days agoby fritzsolms2
- Arch-Java
- J
- analysis;system
- analysis;temporal
- architecture
- architecture;system
- behavior;system
- code;Aspect
- code;Java
- code;Petri
- compilers;program
- design;software
- functionality;system
- logic;
- logic;Java;Petri
- model;system
- monitoring;systems
- nets;formal
- nets;monitoring;property
- specification;program
- specification;run-time
- topology;system
- understanding;temporal
- verification;software
Arch-Java J analysis;system analysis;temporal architecture architecture;system behavior;system code;Aspect code;Java code;Petri compilers;program design;software functionality;system logic; logic;Java;Petri model;system monitoring;systems nets;formal nets;monitoring;property specification;program specification;run-time topology;system understanding;temporal verification;software - Qingzhong Li, Yanhui Ding, An Feng, and Yongquan Dong. Journal of Software 5(5):506--513 (May 2010)Qingzhong Li, Yanhui Ding, An Feng, and Yongquan Dong. Journal of Software 5(5):506--513 (May 2010)a month and 16 days agoby tomasg2
- Dong-Fang Yang, Fuchun Sun, Shicheng Wang, and Haibo Min. Communications in Statistics - Simulation and Computation 42(8):1887-1905 (2013)Dong-Fang Yang, Fuchun Sun, Shicheng Wang, and Haibo Min. Communications in Statistics - Simulation and Computation 42(8):1887-1905 (2013)2 months and 23 days agoby dblp1
- Si Won Choi, and Soo Dong Kim. CECANDEEE '08: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, page 293--298. Washington, DC, USA, IEEE Computer Society, (2008)Si Won Choi, and Soo Dong Kim. CECANDEEE '08: Proceedings of the 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, page 293--298. Washington, DC, USA, IEEE Computer Society, (2008)2 months and 21 days agoby fritzsolms2
- Qi Yu dong, Zhu Ai hong, Xie Xiao fang, and Yan Xiao bin. 2010 International Conference on Computer Application and System Modeling ICCASM 2010, page V10--386--V10--389. Taiyuan, China, (October 2010)Qi Yu dong, Zhu Ai hong, Xie Xiao fang, and Yan Xiao bin. 2010 International Conference on Computer Application and System Modeling ICCASM 2010, page V10--386--V10--389. Taiyuan, China, (October 2010)2 months and 21 days agoby fritzsolms1
- Li Zhang, Jake J. Abbott, Lixin Dong, Bradley E. Kratochvil, Dominik Bell, and Bradley J. Nelson. Applied Physics Letters 94(6):064107 (January 2009)Li Zhang, Jake J. Abbott, Lixin Dong, Bradley E. Kratochvil, Dominik Bell, and Bradley J. Nelson. Applied Physics Letters 94(6):064107 (January 2009)a month and 3 days ago1
- Jin-Dong Kim, Tomoko Ohta, Sampo Pyysalo, Yoshinobu Kano, and Jun ichi Tsujii. Computational Intelligence 27(4):513-540 (2011)Jin-Dong Kim, Tomoko Ohta, Sampo Pyysalo, Yoshinobu Kano, and Jun ichi Tsujii. Computational Intelligence 27(4):513-540 (2011)2 months and 4 days agoby yfpeng2
- Douglas F. Easton, Karen A. Pooley, Alison M. Dunning, Paul D. P. Pharoah, Deborah Thompson, Dennis G. Ballinger, Jeffery P. Struewing, Jonathan Morrison, Helen Field, Robert Luben, Nicholas Wareham, Shahana Ahmed, Catherine S. Healey, Richard Bowman, Kerstin B. Meyer, Christopher A. Haiman, Laurence K. Kolonel, Brian E. Henderson, Loic Le Marchand, Paul Brennan, Suleeporn Sangrajrang, Valerie Gaborieau, Fabrice Odefrey, Chen-Yang Shen, Pei-Ei Wu, Hui-Chun Wang, Diana Eccles, D. Gareth Evans, Julian Peto, Olivia Fletcher, Nichola Johnson, Sheila Seal, Michael R. Stratton, Nazneen Rahman, Georgia Chenevix-Trench, Stig E. Bojesen, Borge G. Nordestgaard, Christen K. Axelsson, Montserrat Garcia-Closas, Louise Brinton, Stephen Chanock, Jolanta Lissowska, Beata Peplonska, Heli Nevanlinna, Rainer Fagerholm, Hannaleena Eerola, Daehee Kang, Keun-Young Yoo, Dong-Young Noh, Sei-Hyun Ahn, David J. Hunter, Susan E. Hankinson, David G. Cox, Per Hall, Sara Wedren, Jianjun Liu, Yen-Ling Low, Natalia Bogdanova, Peter Schurmann, Thilo Dork, Rob A. E. M. Tollenaar, Catharina E. Jacobi, Peter Devilee, Jan G. M. Klijn, Alice J. Sigurdson, Michele M. Doody, Bruce H. Alexander, Jinghui Zhang, Angela Cox, Ian W. Brock, Gordon MacPherson, Malcolm W. R. Reed, Fergus J. Couch, Ellen L. Goode, Janet E. Olson, Hanne Meijers-Heijboer, Ans van den Ouweland, Andre Uitterlinden, Fernando Rivadeneira, Roger L. Milne, Gloria Ribas, Anna Gonzalez-Neira, Javier Benitez, John L. Hopper, Margaret McCredie, Melissa Southey, Graham G. Giles, Chris Schroen, Christina Justenhoven, Hiltrud Brauch, Ute Hamann, Yon-Dschun Ko, Amanda B. Spurdle, Jonathan Beesley, Xiaoqing Chen, Arto Mannermaa, Veli-Matti Kosma, Vesa Kataja, Jaana Hartikainen, Nicholas E. Day, David R. Cox, and Bruce A. J. Ponder. Nature 447(7148):1087--1093 (June 2007)Douglas F. Easton, Karen A. Pooley, Alison M. Dunning, Paul D. P. Pharoah, Deborah Thompson, Dennis G. Ballinger, Jeffery P. Struewing, Jonathan Morrison, Helen Field, Robert Luben, Nicholas Wareham, Shahana Ahmed, Catherine S. Healey, Richard Bowman, Kerstin B. Meyer, Christopher A. Haiman, Laurence K. Kolonel, Brian E. Henderson, Loic Le Marchand, Paul Brennan, Suleeporn Sangrajrang, Valerie Gaborieau, Fabrice Odefrey, Chen-Yang Shen, Pei-Ei Wu, Hui-Chun Wang, Diana Eccles, D. Gareth Evans, Julian Peto, Olivia Fletcher, Nichola Johnson, Sheila Seal, Michael R. Stratton, Nazneen Rahman, Georgia Chenevix-Trench, Stig E. Bojesen, Borge G. Nordestgaard, Christen K. Axelsson, Montserrat Garcia-Closas, Louise Brinton, Stephen Chanock, Jolanta Lissowska, Beata Peplonska, Heli Nevanlinna, Rainer Fagerholm, Hannaleena Eerola, Daehee Kang, Keun-Young Yoo, Dong-Young Noh, Sei-Hyun Ahn, David J. Hunter, Susan E. Hankinson, David G. Cox, Per Hall, Sara Wedren, Jianjun Liu, Yen-Ling Low, Natalia Bogdanova, Peter Schurmann, Thilo Dork, Rob A. E. M. Tollenaar, Catharina E. Jacobi, Peter Devilee, Jan G. M. Klijn, Alice J. Sigurdson, Michele M. Doody, Bruce H. Alexander, Jinghui Zhang, Angela Cox, Ian W. Brock, Gordon MacPherson, Malcolm W. R. Reed, Fergus J. Couch, Ellen L. Goode, Janet E. Olson, Hanne Meijers-Heijboer, Ans van den Ouweland, Andre Uitterlinden, Fernando Rivadeneira, Roger L. Milne, Gloria Ribas, Anna Gonzalez-Neira, Javier Benitez, John L. Hopper, Margaret McCredie, Melissa Southey, Graham G. Giles, Chris Schroen, Christina Justenhoven, Hiltrud Brauch, Ute Hamann, Yon-Dschun Ko, Amanda B. Spurdle, Jonathan Beesley, Xiaoqing Chen, Arto Mannermaa, Veli-Matti Kosma, Vesa Kataja, Jaana Hartikainen, Nicholas E. Day, David R. Cox, and Bruce A. J. Ponder. Nature 447(7148):1087--1093 (June 2007)a month and 15 days agoby ytyoun1
- J. H. Shim, Dong-Soo Kwon, and H. S. Cho. Robotica 17(3):269-281 (1999)J. H. Shim, Dong-Soo Kwon, and H. S. Cho. Robotica 17(3):269-281 (1999)2 months and 23 days agoby dblp2
- Dong Xu, Huaikou Miao, and N. Philbert. Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on, page 1035 -1040. (June 2009)Dong Xu, Huaikou Miao, and N. Philbert. Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on, page 1035 -1040. (June 2009)2 months and 21 days agoby fritzsolms2
- 2.0
- AD
- CSPM
- Language;behavior
- Language;communicating
- Modeling
- about
- activity
- analysis;
- analysis;model
- behavior
- checking;object-oriented
- communicating
- diagnostics;programming
- diagram;UML
- industrial
- language
- machine;Unified
- machines;formal
- model
- model-checker;Hoare
- modeling;operational
- process;UML
- processes;finite
- programming;program
- programs;software
- reasoning;UML
- semantics;de-facto
- semantics;formal
- semantics;reasoning
- semantics;software
- sequential
- software
- specification;FDR
- specification;UML
- specification;object-oriented
- standard;formal
- state
- system
- tool;Unified
- tools;systems
- verification;UML
2.0 AD CSPM Language;behavior Language;communicating Modeling about activity analysis; analysis;model behavior checking;object-oriented communicating diagnostics;programming diagram;UML industrial language machine;Unified machines;formal model model-checker;Hoare modeling;operational process;UML processes;finite programming;program programs;software reasoning;UML semantics;de-facto semantics;formal semantics;reasoning semantics;software sequential software specification;FDR specification;UML specification;object-oriented standard;formal state system tool;Unified tools;systems verification;UML - Wen Dong, Bruno Lepri, and Alex Pentland. MUM, page 134-143. ACM, (2011)Wen Dong, Bruno Lepri, and Alex Pentland. MUM, page 134-143. ACM, (2011)2 months and 10 days agoby archduke2
- Liang Dong, Pradip K. Srimani, and James Z. Wang. Bioinformatics and Biomedicine, IEEE International Conference on, page 488--493. Los Alamitos, CA, USA, IEEE Computer Society, (2011)Liang Dong, Pradip K. Srimani, and James Z. Wang. Bioinformatics and Biomedicine, IEEE International Conference on, page 488--493. Los Alamitos, CA, USA, IEEE Computer Society, (2011)a month and 19 days agoby klaus612
- Song Feng, Zhang Ming, Xiao Dong, Li Hui, and Xu Ning. e-Technology, e-Commerce, and e-Services, IEEE International Conference on (2005)Song Feng, Zhang Ming, Xiao Dong, Li Hui, and Xu Ning. e-Technology, e-Commerce, and e-Services, IEEE International Conference on (2005)a month and 19 days agoby klaus611
- Haoyuan Li, Yi Wang, Dong Zhang, Ming Zhang, and Edward Y. Chang. Proceedings of the 2008 ACM conference on Recommender systems, page 107--114. New York, NY, USA, ACM, (2008)Haoyuan Li, Yi Wang, Dong Zhang, Ming Zhang, and Edward Y. Chang. Proceedings of the 2008 ACM conference on Recommender systems, page 107--114. New York, NY, USA, ACM, (2008)a month and 5 days agoby macek3
- S. Jun-Feng, Z. Wei-Ming, X. Wei-Dong, and T. Jiu-Yang. Journal of Nanjing University Natural Sciences 2(41):189--197 (2005)S. Jun-Feng, Z. Wei-Ming, X. Wei-Dong, and T. Jiu-Yang. Journal of Nanjing University Natural Sciences 2(41):189--197 (2005)a month and 19 days agoby klaus611
- Bai Dong wei, Peng Yong, Yao Zhao, and Chen Jun liang. 2006 First International Conference on Communications and Networking in China, page 1--6. Beijing, China, (October 2006)Bai Dong wei, Peng Yong, Yao Zhao, and Chen Jun liang. 2006 First International Conference on Communications and Networking in China, page 1--6. Beijing, China, (October 2006)2 months and 21 days agoby fritzsolms1
- Chunming Li, Dong Wei, Jonathan Vause, and Jianping Liu. International Journal of Sustainable Development & World Ecology 0(0):1-6 (0)Chunming Li, Dong Wei, Jonathan Vause, and Jianping Liu. International Journal of Sustainable Development & World Ecology 0(0):1-6 (0)a month and 24 days agoby hotho1
- Dong Xu, N. Philbert, Zongtian Liu, and Wei Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, page 450 --453. (December 2008)Dong Xu, N. Philbert, Zongtian Liu, and Wei Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, page 450 --453. (December 2008)2 months and 21 days agoby fritzsolms2
- Yuan Sun, Ling Liu, Xinmin Peng, Yi Dong, and StuartJ Barnes. (2013)Yuan Sun, Ling Liu, Xinmin Peng, Yi Dong, and StuartJ Barnes. (2013)18 days agoby em_journal1
- Jayant Madhavan, S Jeffery, Shirley Cohen, X Dong, David Ko, Cong Yu, and Alon Halevy. page 342--350. (2007)Jayant Madhavan, S Jeffery, Shirley Cohen, X Dong, David Ko, Cong Yu, and Alon Halevy. page 342--350. (2007)a month and 12 days agoby silviag1