Sciweavers

1410 search results - page 106 / 282
» An operational approach to the design of workflow systems
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 7 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
SOSP
2007
ACM
15 years 10 months ago
Sinfonia: a new paradigm for building scalable distributed systems
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. S...
SIGCOMM
2010
ACM
15 years 1 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
WWW
2005
ACM
16 years 2 months ago
A service creation environment based on end to end composition of Web services
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
Vikas Agarwal, Koustuv Dasgupta, Neeran M. Karnik,...
ISLPED
2010
ACM
212views Hardware» more  ISLPED 2010»
15 years 1 months ago
DuraCap: a supercapacitor-based, power-bootstrapping, maximum power point tracking energy-harvesting system
DuraCap is a solar-powered energy harvesting system that stores harvested energy in supercapacitors and is voltage-compatible with lithium-ion batteries. The use of supercapacitor...
Chien-Ying Chen, Pai H. Chou