326 search results - page 35 / 66 » Tailoring and Verifying Software Process |
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
ICASSP
2009
IEEE
14 years 11 days ago
2009
IEEE
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...
STEP
2005
IEEE
14 years 2 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
CRIWG
2000
13 years 9 months ago
2000
Several researchers in the area of cooperative work take as a success criterion the quality of the group outcome. Nevertheless, recent findings are giving more importance to the q...
FUIN
2007
13 years 8 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...