9370 search results - page 68 / 1874 » An Abstract Notion of Application |
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
99
Voted
CADE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
94
Voted
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
that negotiation is a powerful abstract notion for the coordination of generic services available from distributed components. This is the main motivation underlying the developme...
137
click to vote
IWCIA
2009
Springer
15 years 7 months ago
2009
Springer
This work is settled in the framework of abstract simplicial complexes. We propose a definition of a watershed and of a collapse for maps defined on pseudomanifolds of arbitrary ...
109
Voted
ASM
2005
ASM
15 years 6 months ago
2005
ASM
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...