Εμφανίζονται 1.941 - 1.960 Αποτελέσματα από 4.049 για την αναζήτηση '"execution"', χρόνος αναζήτησης: 0,39δλ Περιορισμός αποτελεσμάτων
  1. 1941
    Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…, Executions and Schedulers, Coalgebraically -- Non-strongly Stable Orders Also Define Interesting Simulation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1942
    Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Verified, Executable Parsing -- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1943
    Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Program Executions -- Semantics -- Least and Greatest Fixpoints in Game Semantics -- Full Abstraction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1944
    Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Statistical Detection of Malicious PE-Executables for Fast Offline Analysis -- A Frame of Reference…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1945
    Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1946
    Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…, Development and Verification of Agent Societies -- Modelling and Executing Complex and Dynamic Business…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1947
    Advances in Databases and Information Systems 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Study of Dependencies in Executions of E-Contract Activities -- Object Tag Architecture for Innovative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1948
    Global Security, Safety, and Sustainability 5th International Conference, ICGS3 2009, London, UK, September 1-2, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Geofencing in a Security Strategy Model -- Using Business Process Execution Language to Handle Evaluation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1949
    Information Security and Cryptology 7th International Conference, Inscrypt 2011, Beijing, China, November 30 – December 3, 2011. Revised Selected Papers /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…. Provable Security -- Boosting Scalability in Anomaly-Based Packed Executable Filtering -- Searching Short…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1950
    Design Technology for Heterogeneous Embedded Systems
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Generation Perspective -- 2. Executable Specifications for Heterogeneous Embedded Systems: An Answer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1951
    Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Executing Nodes -- Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1952
    Computer principles and design in Verilog HDL /
    ανά Li, Yamin
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Required for Executing an Instruction; 5.2 Register File Design…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  13. 1953
    Enterprise Interoperability III New Challenges and Industrial Approaches /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Design of Semantic Message-Based B2B Interaction Standards -- Service Design and Execution -- An Adaptive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1954
    A method for the generation of assembly information from product design : applications in automotive industry
    ανά Πίντζος, Γεώργιος
    Έκδοση 2018
    “… focusing on assembly planning, assembly execution and End of Life (EoL) product handling. The core method…”
    Λήψη πλήρους κειμένου
    Thesis
  15. 1955
    Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Smart Open Dynamic Fleets -- A Concurrent Architecture for Agent Reasoning Cycle Execution in Jason…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1956
    Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications -- Real-Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1957
    Self-Managing Distributed Systems 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Signatures for Authenticated Execution of Management Code -- Effects of Wavelength Conversion on Self-healing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1958
    The Semantic Web - ISWC 2002 First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… the RDF Model Theory Out for a Spin -- Concurrent Execution Semantics of DAML-S with Subtypes -- Semantic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1959
    Cooperative Information Agents III Third International Workshop, CIA'99 Uppsala, Sweden, July 31 - August 2, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Mobile Filter Agents -- Execution Monitoring in Adaptive Mobile Agents -- Mobile-Agent Mediated Place…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1960
    Graph Drawing 6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… Interactive Actions and Automatic Drawing in a Schematic Editor -- Visualization of Parallel Execution Graphs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email