769 search results - page 45 / 154 » Simple Composition of Nets |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
FORTE
2008
13 years 9 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
We apply our work on Web service discovery with initially incomplete information to the problem of service composition. Rich semantic descriptions of Goals and Web services allow ...
WCNC
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—The Nakagami-lognormal distribution is the commonly used composite distribution for modeling multipath fading and shadowing. In this paper1 , simple and new form of dist...