Tu sei qui
Events archive
9 dicembre 2010
The aim of this talk is to explain some of the benefits of perusing a far-fetched goal: a general...
18 novembre 2010
The speaker will discuss that challenges of constructing voting systems that guarantee the accuracy...
20 ottobre 2010
Over the past few years, renewable energy (from sun, wind, or water power) has rapidly advanced as...
7 ottobre 2010
Saranno presenti Anna Bellavitis e Isabelle Chabot, curatrici del volume Famiglie e poteri in...
6 ottobre 2010
The service oriented computing (SOC) paradigm enables software application developers and service...
23 settembre 2010
A lot of work has been done so far in the field of planning for web or software services. In this...
30 giugno 2010
In the development of reactive systems with nondeterministic densely-valued temporal parameters,...
25 giugno 2010
Christel Baier, Technische Universitaet Dresden Automata-based model checking relies on a...
18 giugno 2010
Weighted automata are used to describe quantitative properties in various areas such as...
17 giugno 2010
The convergence between computer science and biology occurred in successive waves, involving deeper...
9 giugno 2010
The linkage between research, innovation and education (the so called knowledge dimensions) is...
3 giugno 2010
Large scale changes in the structure of the economy or financial markets, such as the current...
27 gennaio 2010
Sessions are a common and widespread mechanism of interaction in distributed architectures. The...