A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
A graphical interval logic for specifying concurrent systems
1994
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
This article describes a graphical interval logic that is the foundation of a tool set supporting formal specification and verification of concurrent software systems. ...
The objective of this article is to enable software engineers to specify and reason about temporal properties of concurrent systems more easily by providing them with a logic that has an intuitive graphical ...
CONCLUSION
This article
describes
a visual
logic for specifying
concurrent
software
sys-
tems that aids formal reasoning
about temporal
properties
of system. ...
doi:10.1145/192218.192226
fatcat:627yamkmkjfklhqmvpr3yqofiq
Oracles for checking temporal properties of concurrent systems
1994
Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
It is posted here by permission of ACM for your personal use. Not for redistribution. ...
Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be 140 © ACM, (1994). This is the author's version of the work. ...
Acknowledgements: The authors would like to acknowledge John Gannon for his advice and helpful comments on the first draft of this paper. ...
doi:10.1145/193173.195401
dblp:conf/sigsoft/DillonY94
fatcat:yfn76kjs3jakpbihilfyltcspm
Oracles for checking temporal properties of concurrent systems
1994
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
It is posted here by permission of ACM for your personal use. Not for redistribution. ...
Verifying that test executions are correct is a crucial step in the testing process. Unfortunately, it can be 140 © ACM, (1994). This is the author's version of the work. ...
Acknowledgements: The authors would like to acknowledge John Gannon for his advice and helpful comments on the first draft of this paper. ...
doi:10.1145/195274.195401
fatcat:byx7wm7i6jgjfimgofyp5mjbcu
A Graphical Interval Logic toolset for verifying concurrent systems
[chapter]
1993
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Graphical Interval Logic is the foundation of a toolset we have developed to support formal specification and verification of concurrent systems. ...
The logic is a discrete linear-time temporal logic with the distinguishing feature that formulas in the logic have an intuitive graphical representation. ...
These graphical formulas provide a pictorial representation of the relative ordering of events in a concurrent system. ...
doi:10.1007/3-540-56922-7_12
fatcat:3bd72g3mangfrdx4lingyesttu
The Real-Time Graphical Interval Logic toolset
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Introduction The tools that we have developed for Real-Time Graphical Interval Logic (RTGIL) are intended for specifying and reasoning about time-bounded safety and liveness properties of concurrent real-time ...
Conclusion Our experience in using the RTGIL tools has shown that these tools and the graphical representation of the logic are very helpful for specifying and verifying properties of concurrent real-time ...
doi:10.1007/3-540-61474-5_99
fatcat:wijxukys3vbm7njfqgh3vdkkwi
A Temporal Synchronization Model For Heterogeneous Data In Distributed Systems
2008
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Multimedia distributed systems deal with heterogeneous data, such as texts, images, graphics, video and audio. ...
This paper proposes a fully distributed synchronization model to be used in multimedia systems. ...
INTRODUCTION M ULTIMEDIA systems deal with heterogeneous data such as texts, graphics, images, audio, video and animations. ...
doi:10.5281/zenodo.1062758
fatcat:ooreevqtb5h3rdpr2kpqdojjmi
Event-Based Programming Structures for Multimedia Information Flows
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A coherent effect of these actions requires enforcing deadlines on the event processing over prescribed time intervals. ...
In this paper, we propose a programming model based on 'timed event dissemination' for structuring a distributed real-time multimedia presentation. ...
In one scenario for example, user annotation on a graphics image may be generated right after the text or voice information, specified as: ((graphics, 3.25), Occurs Af ter(text ∨ voice, 2.5, 3.5)). ...
doi:10.1007/978-3-540-30189-9_21
fatcat:lu2qogxrjrhz5abhocinj7gakq
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
2008
Journal of Multimedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose a logical synchronization model able to specify at runtime any kind of temporal relationship among the distributed multimedia data involved in a temporal scenario. ...
A logical mapping, in general terms, translates a temporal relation based on a timeline to be expressed according to its causal dependencies. ...
In this paper we propose a logical synchronization model that specifies at runtime any kind of temporal relationship among the multimedia data involved: interval-interval relations for continuous media ...
doi:10.4304/jmm.3.5.33-41
fatcat:ghjswt4hojbilnp7d3dwnejmm4
Analyzing partially-implemented real-time systems
1997
Proceedings of the 19th international conference on Software engineering - ICSE '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time ...
We propose a method for analyzing partially-implemented real-time systems. ...
We consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL) [9] , a realtime ...
doi:10.1145/253228.253275
dblp:conf/icse/AvruninCD97
fatcat:yyia2hagjjfqfnfoobuqp2wxom
Analyzing partially-implemented real-time systems
1998
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time ...
We propose a method for analyzing partially-implemented real-time systems. ...
We consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL) [9] , a realtime ...
doi:10.1109/32.707696
fatcat:5vbnmy2n2na4lbcfo6pobpy7b4
A model-driven approach for processing complex events
[article]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
An example application area is management of IT systems for maintaining required dependability attributes of services based on the infrastructure. ...
In this paper, I present a novel, model-driven approach to define complex event patterns and directly generate event processing configuration for an open source CEP engine widely used in the industry. ...
Interval events
are happening concurrently.
CONCURRENT_T
(params; τ)
interval only
Interval events are happening
concurrently regarding an
interval with length of τ.
TABLE II . ...
arXiv:1204.2203v3
fatcat:wvn3vkcuzncu3jjtqxrxdvmwmu
An Environment for the Development of Concurrent Object-Based Applications
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Object-Based Graph Grammars (OBGG) is a formal specification language suitable for modeling concurrent object-based systems. ...
With this environment, we support the specification and analysis of concurrent object-based systems specified using OBGG. ...
The maximum time is supported for situations where one wants to specify systems with temporal restrictions, i.e. if a message is not consumed in a certain time interval, the system fails (real-time systems ...
doi:10.1016/j.entcs.2004.12.026
fatcat:z2wgeakauffznldexjndybfyaq
ALPHA/Sim simulation software tutorial
1995
Proceedings of the 27th conference on Winter simulation - WSC '95
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
ALPHA/Sim allows a user to graphically build a simulation model, enter input data via integrated forms, execute the simulation model, and view the simulation results, within a single graphical environment ...
In this paper, we introduce ALPHA/Sim and describe how to use ALPHA/Sim to build, simulate, and analyze a simple manufacturing system. ...
X Window System is a trademark of the Massachusetts Institute of Technology. ...
doi:10.1145/224401.224641
fatcat:3fjerl6mf5fddket6rusub5o3q
ALPHA/SIM simulation software tutorial
1996
Proceedings of the 28th conference on Winter simulation - WSC '96
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
ALPHA/Sim allows a user to graphically build a simulation model, enter input data via integrated forms, execute the simulation model, and view the simulation results, within a single graphical environment ...
In this paper, we introduce ALPHA/Sim and describe how to use ALPHA/Sim to build, simulate, and analyze a simple manufacturing system. ...
X Window System is a trademark of the Massachusetts Institute of Technology. ...
doi:10.1145/256562.256736
fatcat:6f7y6hbrzjcdtfdugdh6r4ueu4
Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic
2014
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Being a formal system, first order logic assists in thorough understanding of process modeling and its application. ...
A business process is the combination of a set of activities with logical order and dependence, whose objective is to produce a desired goal. ...
Since firing is nondeterministic, Petri nets are well suited for modeling the concurrent behavior of distributed systems [12] .
H. ...
doi:10.14569/ijacsa.2014.050715
fatcat:3n6wsbwaf5frfohkosxczet5f4
« Previous
Showing results 1 — 15 out of 20,486 results