2409 search results - page 195 / 482 » Building Components from Functions |
151
Voted
EUROSSC
2009
Springer
15 years 7 months ago
2009
Springer
Finding solutions for the current period of climate change or “global warming” is possibly the most serious and pressing challenge faced by scientists and the wider community t...
109
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
95
Voted
AUSAI
2001
Springer
15 years 7 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...
104
Voted
PARMA
2004
15 years 4 months ago
2004
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...
117
Voted
ARESEC
2011
14 years 2 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...