2243 search results - page 43 / 449 » Contracts for Mobile Processes |
102
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Textiles and computing share a synergistic relationship, which is being harnessed to create a new paradigm in personalized mobile information processing (PMIP). In this paper, we ...
129
Voted
SSD
2005
Springer
15 years 9 months ago
2005
Springer
Spatial data are particularly useful in mobile environments. However, due to the low bandwidth of most wireless networks, developing large spatial database applications becomes a c...
150
Voted
HCW
1998
IEEE
15 years 7 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
113
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
116
click to vote
Lecture Notes
This is a long lecture note about Financial Stochastic. It covers several topics such as Martingale Representation, Finite Economies, Black-Scholes Models, American Options, Paymen...