974 search results - page 60 / 195 » Formal Modeling of Communication Traces |
103
click to vote
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
INFOCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract—Understanding user behavior in wireless environments is useful for a variety of reasons ranging from the design of better sleep algorithms for components of mobile devic...
INFOCOM
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Traffic monitoring and estimation of flow parameters in high speed routers have recently become challenging as the Internet grew in both scale and complexity. In this ...
121
Voted
STORYTELLING
2005
Springer
15 years 5 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...