974 search results - page 78 / 195 » Formal Modeling of Communication Traces |
SOCO
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
100
click to vote
FM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
127
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Network operators are reluctant to share traffic data due to security and privacy concerns. Consequently, there is a lack of publicly available traces for validating and generaliz...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—Most Ethernet interfaces available for deployment in switches and hosts today can operate in a variety of different low power modes. However, currently these modes have very lim...