Results 261 to 270 of about 88,794 (289)

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver

Electronic Notes in Theoretical Computer Science, 2007
In the requirements engineering community, consistency and completeness have been identified as important properties of system specifications. Custom algorithms to verify these properties automatically have been devised for a number of specification ...
Ouimet, Martin, Lundqvist, Kristina,, Ouimet, Martin,, Lundqvist, Kristina   +3 more
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Verification of unit and dimensional consistencies in polychronous specifications

Proceedings of the 2014 Forum on Specification and Design Languages (FDL), 2014
Cyber physical systems are characterized by continuous interaction between digital control systems and physical systems. To design critical control software that is to be used in control systems, a modeldriven correct-by-construction approach is preferable.
Mahesh Nanjundappa, Sandeep K. Shukla
openaire   +1 more source

Challenges in Interactive Multimedia Document Consistency Verification

Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web, 2016
A multimedia document may be specified manually or automatically generated, instantiated, adapted or has its content and structure dynamically edited. Therefore, changes in a document specification may occur from its creation to its execution. Such different phases and changes performed over a document caracterize its life cycle.
Joel André Ferreira dos Santos, Débora Christina Muchaluat-Saade   +1 more
openaire   +1 more source

Consistency Verification for GML Data Based on DOM

2016
GML schemas are metadata files, which define the structure, content and restriction of GML instances. As a kernel of the GML parser, consistency verification decides whether GML documents are consistent with the relevant application schemas. In order to parse GML data more effectively and accurately, an algorithm based on DOM was developed as to how ...
Xiaoli Gao, Haixia Li, Tingguang Yan, Zhencai Cui, Jiyu Yu, Yehua Sheng   +5 more
openaire   +1 more source

On-the-fly calculation and verification of consistent steering transactions

Proceedings of the 2001 ACM/IEEE conference on Supercomputing, 2001
Interactive Steering can be a valuable tool for understanding and controlling a distributed computation in real-time. With Interactive Steering, the user may change the state of a computation by adjusting application parameters on-the-fly. In our system, we model both the program’s execution and steering actions in terms of transactions.
David W. Miller, Jinhua Guo 0001, Eileen T. Kraemer, Yin Xiong   +3 more
openaire   +1 more source

Consistency verification in modeling of real-time systems

IEEE Transactions on Robotics and Automation, 2004
To real-time system designers, end-to-end time delay between external inputs and outputs is among the most important constraints. To ensure these system-wide constraints are satisfied, each of the constituent components is subject to a set of derived intermediate constraints.
Yi Deng 0001, Jiacun Wang 0001, Mengchu Zhou   +2 more
openaire   +1 more source

Tool Support for Consistency Verification of UML Diagrams

2017
Manual verification of the consistency between UML state machine diagrams and sequence diagrams is labor-intensive and prone to make mistakes. We provide an automatic tool written in Java that performs the verification by translating UML diagrams into a process description of CSP\(_M\) language.
Salilthip Phuklang, Tomoyuki Yokogawa, Pattara Leelaprute, Kazutami Arimoto   +3 more
openaire   +1 more source

Verification for Time Consistency of Web Service Flow

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008
Non-functional property verification (such as time consistency) for Web Services (WS) flow has become indispensable since many WS for e-business exist in real world with temporal context and depend on many external restrictions like executing time and consuming cost etc.
Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao   +3 more
openaire   +1 more source

External Consistency and the Verification of Security Protocols

1998
The notion of external consistency--that system state correctly reflects the real world--provides a basis for a denotational definition of integrity. We regard segregation of duties, well formed transactions, auditing, replication, MACs, and so forth, as simply implementation techniques: they define how to achieve this notion of integrity in an ...
openaire   +2 more sources

Consistent Verification of Scenarios-Based Requirement Specification

2009 WRI World Congress on Computer Science and Information Engineering, 2009
Scenarios describe how system components, the environment and users working concurrently interact in order to provide system level functionality. Each scenario is a partial story which, when combined with other scenarios, should conform to provide a complete system description.
openaire   +1 more source