793 search results - page 62 / 159 » Protocol Modeling with Model Program Composition |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...
RE
2006
Springer
13 years 9 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
WCE
2007
13 years 10 months ago
2007
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
POPL
1995
ACM
14 years 18 days ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...