Background: Environmental sequence datasets are increasing at an exponential rate; however, the vast majority of them lack appropriate descriptors like sampling location, time and...
Wolfgang Hankeln, Pier Luigi Buttigieg, Dennis Fin...
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
: This paper studies the impact of wireless technologies on enterprises. A multitude of new paradigms and new software technologies have emerged from the web. E-business and e-manu...
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
Alysson Neves Bessani, Paulo Sousa, Miguel Correia...
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...