928 search results - page 97 / 186 » Interpolation-sequence based model checking |
120
Voted
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
106
click to vote
DSOM
2004
Springer
15 years 8 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
124
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
105
click to vote
BIS
2008
15 years 4 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
111
click to vote
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...