9370 search results - page 102 / 1874 » An Abstract Notion of Application |
78
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
78
Voted
SAGA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Devices connected wirelessly, in various forms including computers, hand-held devices, ad hoc networks, and embedded systems, are expected to become ubiquitous all around...
116
click to vote
STACS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Traditionally a tiling is defined with a finite number of finite forbidden patterns. We can generalize this notion considering any set of patterns. Generalized tilings...
100
Voted
FCT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
70
Voted
DEXA
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...