Sciweavers

1097 search results - page 87 / 220
» Model Transformations in the Development of Data-Intensive W...
Sort
View
179
Voted
USS
2010
15 years 1 months ago
Toward Automated Detection of Logic Vulnerabilities in Web Applications
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
Viktoria Felmetsger, Ludovico Cavedon, Christopher...
HICSS
2007
IEEE
121views Biometrics» more  HICSS 2007»
15 years 9 months ago
Towards Co-Design of Business Processes and Information Systems Using Web Services
A variety of forces are constantly transforming enterprises, thus, requiring them to constantly adapt to changing business environment. This emergent state requires enterprises to...
Karthikeyan Umapathy
117
Voted
ELPUB
2006
ACM
15 years 9 months ago
Weaving the Web of Science. HyperJournal and the Impact of the Semantic Web on Scientific Publishing
In this paper we present HyperJournal, an Open Source web application for publishing on-line Open Access scholarly journals. In the first part (sections 1-3) we briefly describe t...
Michele Barbera, Francesca Di Donato
126
Voted
CHI
2010
ACM
15 years 10 months ago
Model-driven development of advanced user interfaces
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...
Jan Van den Bergh, Gerrit Meixner, Kai Breiner, An...
122
Voted
DATE
2004
IEEE
184views Hardware» more  DATE 2004»
15 years 7 months ago
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
Panagiotis Manolios, Sudarshan K. Srinivasan