918 search results - page 70 / 184 » Alternation in Interaction |
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes collaborative work between industry and academia aimed at supporting the design and assessment of a transcoding service to support mobile phone internet brows...
TLCA
2007
Springer
14 years 3 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...
ANSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
ISWC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes the development of several methods for the dynamic measurement of error distribution for positioning systems. When a user moves along a path at an unknown spe...