1239 search results - page 57 / 248 » Applying Model Checking to Concurrent UML Models |
CONCURRENCY
2008
13 years 9 months ago
2008
: We discuss the development and application of Web Service-based Geographical Information System Grids. Following the WS-I+ approach of building Grids on Web Service standards, we...
DATE
2004
IEEE
14 years 17 days ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
CHARME
2001
Springer
14 years 14 days ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
JOT
2008
13 years 8 months ago
2008
Readers of this article have probably seen, at least once, diagrams produced using the UML (Unified Modeling Language). Some of you have perhaps used UML for your own work and kno...
JIPS
2006
13 years 8 months ago
2006
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...