4196 search results - page 394 / 840 » Supporting the development of network programs |
206
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We study bargaining games between suppliers and manufacturers in a network context. Agents wish to enter into contracts in order to generate surplus which then must be divided amon...
182
click to vote
TSMC
2002
15 years 6 months ago
2002
Abstract--In mobile networks, the traffic fluctuation is unpredictable due to mobility and varying resource requirement of multimedia applications. Hence, it is essential to mainta...
198
Voted
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
183
Voted
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
184
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...