974 search results - page 72 / 195 » Formal Modeling of Communication Traces |
FTRTFT
2000
Springer
15 years 3 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
105
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
122
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
WWW
2005
ACM
16 years 8 days ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...