67 search results - page 7 / 14 » Analysis of communicative behaviour: Profiling roles and act... |
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The evolution of mobile technologies, like web-enable cellphones, PDAs and wireless networks, makes it now possible to use these technologies for collaborative work through web-bas...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
CAISE
2001
Springer
13 years 12 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
JUCS
2010
13 years 2 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...