Sciweavers

609 search results - page 62 / 122
» Economy
Sort
View
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 3 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
HOPL
2007
15 years 3 months ago
Modula-2 and Oberon
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
Niklaus Wirth
HOTOS
2007
IEEE
15 years 3 months ago
Auditing to Keep Online Storage Services Honest
A growing number of online service providers offer to store customers' photos, email, file system backups, and other digital assets. Currently, customers cannot make informed...
Mehul A. Shah, Mary Baker, Jeffrey C. Mogul, Ram S...
CAISE
2006
Springer
15 years 3 months ago
Flexibility in Service Processes
: Service processes are a special type of business processes playing an increasingly important role in modern economies. They require new forms of flexibility not found in ordinary...
Rainer Schmidt
ECTEL
2006
Springer
15 years 3 months ago
Satellite-Enabled Interactive Education: Scenarios and Systems Architectures
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
Tacha Serif, Lampros K. Stergioulas, Gheorghita Gh...