Sciweavers

640 search results - page 50 / 128
» Foundations of Web Transactions
Sort
View
CORR
2008
Springer
81views Education» more  CORR 2008»
13 years 7 months ago
Revisiting the Core Ontology and Problem in Requirements Engineering
In their seminal paper in the ACM Transactions on Software Engineering and Methodology, Zave and Jackson established a core ontology for Requirements Engineering (RE) and used it ...
Ivan Jureta, John Mylopoulos, Stéphane Faul...
BIRTHDAY
2003
Springer
14 years 27 days ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
JDCTA
2010
105views more  JDCTA 2010»
13 years 2 months ago
Investigating the relationship between consumers' style of thinking and online victimization in scamming
Unsolicited emails and online scams can erode both consumer confidence and consumer safety when interacting and transacting over the Internet. This paper uses content analysis to ...
Francesco Sofo, Michelle Berzins, Salvatore Ammira...
SEKE
2005
Springer
14 years 1 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ESOP
2007
Springer
14 years 1 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...