2243 search results - page 27 / 449 » Contracts for Mobile Processes |
120
click to vote
ASWEC
2000
IEEE
15 years 10 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...
137
click to vote
CSMR
2000
IEEE
15 years 10 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...
152
Voted
TLCA
2007
Springer
15 years 11 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...
162
click to vote
DEXA
2004
Springer
15 years 9 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...
165
click to vote
ESWS
2010
Springer
15 years 10 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...