2020 search results - page 201 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
184
click to vote
PACT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
191
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
165
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
180
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...
148
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...