Earlier, Chao pioneered the very first closed-form solution of the number of reachable and other states for marked graphs (MG) and k-th order system which is the simplest class of S3PR (Systems of Simple Sequential Processes with Resources).
This paper progresses one step further on enumerating reachable (forbidden, live, and deadlock) states for Bottom Left k-net systems (one non-sharing resource place in the Bottom position of the right-side process, below denoted as Bottom-Left-k-net) with a formula depending on parameter k for a subclass of nets with k sharing resources.
Continue Reading
The paper takes the multi-modal data massive minority area as the research object, and uses emotion computing, voice recognition, geographic information representation, video content recognition, intelligent technology and robot, 3D…
Formal methods, in particular the B Method and its extension Event-B are used to validate the system correctness and to verify its properties. The weak point here is that Event-B…
With the increasing popularity of Internet services and cloud computing, both energy efficiency and performance guarantees are major concerns for data center operators. However, only a few of previous works…
Nowadays in-stream data analysis takes an important role in modern research and development. Cerrera is a cloud-based data stream processing platform that lets analysts concentrate on solving their research problems…
Harvesting energy from the environment can be generated from various sources. One of the more common sources is the radiofrequency energy. Within eWALL (e Wall for Active Long Living) system,…
The Quantified Self is a movement that promotes the use of technology for self-tracking various kinds of personal information, such as physical activities and energy consumption. In this paper, we…
Guaranteed-Service Approach (GSA) was used to set safety stocks for multi-echelon inventory systems. This approach assumes that each stock can use operating flexibility measures such as expediting and overtime to…
As energy harvesting (EH) technologies advance, wireless networks will potentially and eminently be powered by harvested energy such that carbon footprints can be reduced. Challenged by the dynamic nature of…
DFT spread OFDMA popularly known as Single carrier frequency division multiple access (SCFDMA) is an emerging wireless standard and has received considerable attention because of its ability to incorporate advantages…