3799 search results - page 140 / 760 » An Engineering Approach to Formal Methods |
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
IFM
2010
Springer
13 years 7 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
FORTE
2009
13 years 7 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
LOGCOM
2002
13 years 9 months ago
2002
In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, howev...
APSEC
2001
IEEE
14 years 26 days ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...