Results 11 to 20 of about 917,054 (225)
Collaborative Task Modelling on the Web [PDF]
, 2016 Task modelling is a widely recognized activity when designing interactive applications. In this perspective, it is the meeting point between various stakeholders. However, most of the automatic environments that currently allow task modelling only support single users, thus limiting the possible interactions and discussions amongst them.
Manca M, Paternò F, Santoro C
openaire +5 more sources
A Type Language for Calendars [PDF]
, 2005 Time and calendars play an important role in databases, on the Semantic Web, as well as in mobile computing. Temporal data and calendars require (specific) modeling and processing tools.
Bry, François +2 more
core +2 more sources
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science, 2005 AbstractWe give an overview on web services and the web service technology stack. We then show how to build Petri net models of web services formulated in the specification language BPEL4WS. We define an abstract correctness criterion for these models and study the automated verification according to this criterion.
Schlingloff, Bernd-Holger +2 more
openaire +2 more sources
Modeling "Web Of Trust" With Web 2.0
, 2008 "Web of Trust" is one of the recognized goals for Web 2.0. It aims to make it possible for the people to take responsibility for what they publish on the web, including organizations, businesses and individual users. These objectives, among others, drive most of the technologies and protocols recently standardized by the governing bodies.
Omer Mahmood, Selvakennedy Selvadurai
openaire +2 more sources
Theoretical Computer Science, 2004 AbstractWe introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example using hyperlinks, service calls, or scripts for dynamically accessing data, which require the complex coordination of data and processes between sites. The Xdπ calculus
Sergio Maffeis, Philippa Gardner
openaire +4 more sources
Classifying Web Exploits with Topic Modeling
, 2017 This short empirical paper investigates how well topic modeling and database meta-data characteristics can classify web and other proof-of-concept (PoC) exploits for publicly disclosed software vulnerabilities.
Ruohonen, Jukka
core +1 more source
A WSDL-Based Type System for WS-BPEL [PDF]
, 2006 We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL.
Lapadula, Alessandro +2 more
core +2 more sources
Modeling Traffic on the Web Graph [PDF]
, 2010 Analysis of aggregate and individual Web requests shows that PageRank is a poor predictor of traffic. We use empirical data to characterize properties of Web traffic not reproduced by Markovian models, including both aggregate statistics such as page and link traffic, and individual statistics such as entropy and session size.
José J. Ramasco +5 more
openaire +2 more sources
THREAT MODELLING FOR WEB SERVICES BASED WEB APPLICATIONS [PDF]
, 2005 Threat analysis of a web application can lead to a wide variety of identified threats. Some of these threats will be very specific to the application; others will be more related to the underlying infrastructural software, such as the web or application servers, the database, the directory server and so forth.
Desmet, Lieven +3 more
openaire +3 more sources
Exact Requirements Engineering for Developing Business Process Models
, 2017 Process modeling is a suitable tool for improving the business processes. Successful process modeling strongly depends on correct requirements engineering.
Nosrati, Masoud
core +1 more source