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