1497 search results - page 105 / 300 » Extended static checking |
127
click to vote
WICON
2008
15 years 3 months ago
2008
We consider a wireless network consisting of multiple transmitters with multicast traffic destined for a set of receivers. We are interested in the problem of joint scheduling and...
85
Voted
JOT
2010
15 years 21 days ago
2010
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to...
195
click to vote
ICDE
1997
IEEE
16 years 3 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
137
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
131
click to vote
IEEECIT
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...