4036 search results - page 130 / 808 » Formal Methods |
145
Voted
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
120
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
252
click to vote
ENTCS
2006
15 years 5 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
164
click to vote
CORR
2011
Springer
15 years 2 days ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
158
Voted
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...