Sciweavers

218 search results - page 41 / 44
» A theory of contracts for web services
Sort
View
IJNSEC
2008
120views more  IJNSEC 2008»
13 years 9 months ago
Formal Specification and Verification of a Secure Micropayment Protocol
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
Mohamed G. Gouda, Alex X. Liu
CLUSTER
2009
IEEE
14 years 4 months ago
Utility analysis for Internet-oriented server consolidation in VM-based data centers
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...
Ying Song, Yanwei Zhang, Yuzhong Sun, Weisong Shi
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 7 months ago
Using Semantic Wikis for Structured Argument in Medical Domain
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
Adrian Groza, Radu Balaj
WWW
2003
ACM
14 years 10 months ago
From Individuals to the Global Community: the Hidden Contradiction of the Cultural History of Classification and the latest brow
We would like to show that the collective production of knowledge and the individual creation of its organizational casting mould, which is therefore incapable of following the gr...
László Z. Karvalics
OTM
2005
Springer
14 years 3 months ago
Reasoning on Dynamically Built Reasoning Space with Ontology Modules
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
Fabio Porto