海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Semantics of Concurrent Computation Volume 70 || Modeling a solution for a control problem in distributed systems by restrictionsKahn, Gilles · 1979
[IEEE 2011 3rd International Conference on Advanced Computer Control (ICACC) - Harbin, China (2011.01.18-2011.01.20)] 2011 3rd International Conference on Advanced Computer Control - A semantic grading model integrated local and global semantic relatedness for English textGuiming Huang, ; Shiwei Duan, ; Ya Zhou, · 2011
[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - JAction: A High-Level Surface Syntax for UML Action SemanticsDiggins, Christopher; Hamou-Lhadj, Abdelwahab · 2008
[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - FOMatch: A Fuzzy Ontology-Based Semantic Matching Algorithm of Publish/Subscribe SystemsZhang, Weiwei; Ma, Jiangang; Ye, Dan · 2008
[IEEE 2011 3rd International Conference on Advanced Computer Control (ICACC) - Harbin, China (2011.01.18-2011.01.20)] 2011 3rd International Conference on Advanced Computer Control - A semantic negotiation model for service property value between service agentsZhai Sheping, · 2011
[IEEE 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2010) - Perth, WA (2010.12.13-2010.12.15)] 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - A Semantic Web Enabled form model and restful service implementation [replaces: ActiveRaUL: A model-view-controller approach for semantic web applications]Haller, Armin; Rosenberg, Florian · 2010
[IEEE International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06) - Vienna, Austria (28-30 Nov. 2005)] International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06) - Enabling a Semantic Smart WWW: A Soft Computing Framework for Automatic Ontology DevelopmentRowena Chau, ; Chung-Hsing Yeh, · 2005
Parallel DSP system integrationAkos Ledeczi; Ben Abbott; Csaba Biegl; Ted Bapty; Gabor Karsai; Janos Sztipanovits · 1993
Intelligent instrumentsJanos Sztipanovits · 1989
Desmod — A discrete event simulation kernelPrashant Waknis; Janos Sztipanovits · 1990
High confidence embedded software designZhang, Zhenkai; Porter, Joseph; Kottenstette, Nicholas; Koutsoukos, Xenofon; Sztipanovits, Janos · ACM SIGBED Review · 2011
Self-adaptive software for signal processingSztipanovits, Janos; Karsai, Gabor; Bapty, Ted · Communications of the ACM · 1998
Cyber Physical Systems — Convergence of Physical and Information SciencesSztipanovits, Janos · it - Information Technology · 2012
Hybrid Modeling and Verification of Embedded Control SystemsMosterman, Pieter J; Biswas, Gautam; Sztipanovits, Janos · IFAC Proceedings Volumes · 1997
Editorial BoardApplied Mathematics Letters · 2001
How universal is a universal unfolding?Robert Rosen · Applied Mathematics Letters · 1988
General variational inequalitiesMuhammad Aslam Noor · Applied Mathematics Letters · 1988
Quadratic splineG. Behforooz · Applied Mathematics Letters · 1988
Instructions for authors of typeset papersApplied Mathematics Letters · 1988
Fibonacci multiplicationDonald E. Knuth · Applied Mathematics Letters · 1988
Integral invariants and complex eigenvalue boundsJohn A. Adam · Applied Mathematics Letters · 1988
Quadratic spline-on-splineG. Behforooz · Applied Mathematics Letters · 1988