Planning for the Future Internet of Services23 settembre 2010A lot of work has been done so far in the field of planning for web or software services. In this...
A Method for Measuring the Dynamics of Voter Turnout with Evidence from the 2004 and 2008 U.S. Presidential Election14 luglio 2010
Computing probabilities over DBM domains to integrate qualitative verification and quantitative evaluation of timed stochastic models30 giugno 2010In the development of reactive systems with nondeterministic densely-valued temporal parameters,...
