Geographic information has spawned many novel Web applications where global positioning system (GPS) plays important roles in bridging the applications and end users. Learning kno...
Business to consumer (B2C) electronic commerce has led to new relationships connecting various supply chain partners via the Internet, significantly increasing the quantity and qu...
The observation of the ocean surface using electromagnetic sources of opportunity (GNSS signals for instance) has been a green research topic for several years. The Global Navigat...
Integrated use of multidisciplinary researches have been applied in the last years for the study of Aquileia archeological sites and, in particular the River Port structures. Since...
Raffaela Cefalo, Alexia Cociancich, Michele Di Bar...
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...