Sciweavers

805 search results - page 88 / 161
» On the Semantics of Conditional Commitment
Sort
View
ENTCS
2008
88views more  ENTCS 2008»
14 years 12 months ago
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
Claudia Ermel, Hartmut Ehrig
ICFP
2005
ACM
15 years 12 months ago
AtomCaml: first-class atomicity via rollback
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
Michael F. Ringenburg, Dan Grossman
CSCW
2006
ACM
15 years 5 months ago
Exploring the effects of group size and display configuration on visual search
Visual search is the subject of countless psychology studies in which people search for target items within a scene. The bulk of this literature focuses on the individual with the...
Clifton Forlines, Chia Shen, Daniel Wigdor, Ravin ...
WIRN
2005
Springer
15 years 5 months ago
Artificial Immune-Based Optimization Technique for Solving Economic Dispatch in Power System
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
Titik Khawa Abdul Rahman, Saiful Izwan Suliman, Is...
HICSS
2003
IEEE
132views Biometrics» more  HICSS 2003»
15 years 5 months ago
Markets for Reliability and Financial Options in Electricity: Theory to Support the Practice
The underlying structure of why and how consumers value reliability of electric service is explored, together with the technological options and cost characteristics for the provi...
Timothy Mount, William Schulze, Richard E. Schuler