2,186 resources related to Specification languages
- Topics related to Specification languages
- IEEE Organizations related to Specification languages
- Conferences related to Specification languages
- Periodicals related to Specification languages
- Most published Xplore authors for Specification languages
The CDC is the premier conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.
ICSE is the premier forum for researchers to present and discuss the most recent innovations,trends, outcomes, experiences, and challenges in the field of software engineering. The scopeis broad and includes all original and unpublished results of empirical, conceptual, experimental,and theoretical software engineering research.
2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)
The IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) is the premier forum for researchers to present their latest findings in the area of asynchronous design.
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
The IEEE/ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems.
addresses the discipline of systems engineering,including theory, technology, methodology, andapplications of complex systems, system-of-systems,and integrated systems of national and globalsignificance.
Video A/D and D/A, display technology, image analysis and processing, video signal characterization and representation, video compression techniques and signal processing, multidimensional filters and transforms, analog video signal processing, neural networks for video applications, nonlinear video signal processing, video storage and retrieval, computer vision, packet video, high-speed real-time circuits, VLSI architecture and implementation for video technology, multiprocessor systems--hardware and software-- ...
Each tutorial reviews currents communications topics in network management and computer and wireless communications. Available tutorials, which are 2.5 to 5 hours in length contains the original visuals and voice-over by the presenter. IEEE Communications Surveys & Tutorials features two distinct types of articles: original articles and reprints. The original articles are exclusively written for IEEE Communications Surveys & Tutorials ...
Telephone, telegraphy, facsimile, and point-to-point television, by electromagnetic propagation, including radio; wire; aerial, underground, coaxial, and submarine cables; waveguides, communication satellites, and lasers; in marine, aeronautical, space and fixed station services; repeaters, radio relaying, signal storage, and regeneration; telecommunication error detection and correction; multiplexing and carrier techniques; communication switching systems; data communications; and communication theory. In addition to the above, ...
Specific topics of interest include, but are not limited to, sequence analysis, comparison and alignment methods; motif, gene and signal recognition; molecular evolution; phylogenetics and phylogenomics; determination or prediction of the structure of RNA and Protein in two and three dimensions; DNA twisting and folding; gene expression and gene regulatory networks; deduction of metabolic pathways; micro-array design and analysis; proteomics; ...
Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.
IEE Colloquium on VHDL (Very High Speed Integrated Circuits Hardware Description Language) - Applications and CAE Advances (Digest No.1993/076), 1993
Seventh International Conference on Software Engineering for Telecommunication Switching Systems, 1989. SETSS 89., 1989
IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying,, 1992
IEE Colloquium on Mixed Mode Modelling and Simulation, 1994
IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications, 1992
Niklaus Wirth on Teaching Computer Science
An Interview with Niklaus Emil Wirth, Part 1
Rebooting Computing Week 2018 - IRDS, ICRC, and Industry Summit on the Future of Computing
EDOC 2010 - Dr. Benjamin Grosof Keynote
An Interview with Delores Etter, Part Two: IEEE VIC Summit 2018
An Interview with Niklaus Emil Wirth, Part 3
Computing Conversations: Rasmus Lerdorf Interview on Creating PHP
Computing Conversations: Bertrand Meyer: Eiffel Programming Language
Wireless Power Transfer: APEC 2013 KeyTalk with Francesco Carobolante of Qualcomm
RF Induced Communication Errors in RFFE MIPI Controlled Power Amplifiers: RFIC Interactive Forum
Provably-Correct Robot Control with LTLMoP, OMPL and ROS
What's Next: Rebooting Computing
Obtaining a US patent with Dr. William Tonti
WIRELESS TRANSCEIVER SYSTEM DESIGN FOR MODERN COMMUNICATION STANDARDS
We describe Real-Time Object-Z (RTOZ), a language with real-time extensions to Object-Z, and describe informally its semantics. The novelty of our approach lies in the minimal set of syntactic extensions to Object-Z and in the introduction of real-time filters for the separation of real time constraints from the functional specification of objects. Both the functional specification and filter specification for any time critical system can be developed using the syntax of RTOZ. The semantics of RTOZ provides a consistent mapping between the classes in an Object-Z specification and their corresponding real-time constraints. We illustrate the expressive power of RTOZ with a case study.
This paper introduces an automatic Web service composition method based on logical inference of Horn clauses in Petri net models. The available services and user request described in SA WSDL are translated into a set of Horn clauses and the composability rules of the services' input/output parameters are established using ontology reasoning. We choose Petri net as the model of this set of Horn clauses. T-invariant method of Petri nets is used to determine the existence of composite Web services that can fulfill user's requirement.
Application knowledge traditionally is documented by developers in the form of system specifications. While some systems may not be described properly, any revisions are not necessarily updated accurately as they are revised manually. A knowledge-based application generator has been developed that takes in an Xml-based specification language to provide the application service requested. The specification is the application knowledge prescribing the service provided and it is a true reflection of application service being provided. As applications are maintained and revised, each application specification is managed automatically and can be consolidated easily with other service- oriented knowledge.
Consistency property describes the relation between the communication pattern and process logic of interorganizational processes. The Petri net and message sequence chart are applied as the modeling tool for the communication pattern and process logic of interorganizational processes respectively. But these two different modeling tools bring confusions and make it is hard to analyze the consistency property of interorganizational processes. The modeling method of interorganizational processes based on activity diagrams is proposed in this work. The formal semantics of activity diagrams and the standardized mapping technique from activity diagrams to message sequence charts are introduced. Based on activity diagrams, the N-consistency property of interorganizational processes is defined and verified
his standard revises and enhances the VHDL language reference manual (LRM) by including a standard C language interface specification; specifications from previously separate, but related, standards IEEE Std 1164 -1993,1 IEEE Std 1076.2 -1996, and IEEE Std 1076.3-1997; and general language enhancements in the areas of design and verification of electronic systems.
This document is part of the POSIX series of standards for applications and user interfaces to open systems. It defines the Ada language bindings as package specifications and accompanying textual descriptions of the applications program interface (API). This standard supports application portability at the source code level through the binding between ISO 8652:1995 (Ada) and ISO/IEC 9945-1:1990 (IEEE Std 1003.1-1990 ...
The scope of this standard is the definition of the e functional verification language. This standard aims to serve as an authoritative source for the definition of: a) syntax and semantics of e language constructs b) the e language interaction with standard simulation languages c) e language libraries This revision extends the standard to cover novel verification-related features.