2243 search results - page 27 / 449 » Contracts for Mobile Processes |
ASWEC
2000
IEEE
15 years 6 months ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
CSMR
2000
IEEE
15 years 6 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
113
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
126
click to vote
DEXA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Mobile devices are capable of retrieving and processing data from remote databases. In a wireless data transmission environment, users are typically charged by the size o...
124
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...