154 search results - page 14 / 31 » A Formal Verification Approach for IP-based Designs |
139
click to vote
ICFEM
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
ENTCS
2008
15 years 1 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
116
Voted
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
120
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
130
Voted
CSE
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...