Semantic Scholar uses AI to extract papers important to this topic.
This paper explores what kinds of management actions are needed by businesses to enhance their innovation capabilities. The first… Expand Todays networks of processors on and off chip, operating with independent clocks, need effective synchronization of the data… Expand Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.- Slicing… Expand The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing… Expand Web services are increasingly gaining acceptance as a framework for facilitatingapplication-to-application interactions within… Expand Over the last years there has been an increasing research effort directed towards the automatic verification of infinite state… Expand In this article, we define timed regular expressions, a formalism for specifying discrete behaviors augmented with timing… Expand Abstract An internet-based workflow management system (WfMS) enables business participants to work co-operatively at sites… Expand An enumerative technique is presented which supports reachability and timeliness analysis of time-dependent models. The technique… Expand To model the behavior of finite-state asynchronous real-time systems we propose the notion of timed Buchi automata (TBA). TBAs… Expand