Sciweavers

1669 search results - page 46 / 334
» Structured Specification of Model Interpreters
Sort
View
126
Voted
CONCURRENCY
2000
99views more  CONCURRENCY 2000»
15 years 2 months ago
The Java memory model is fatally flawed
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
William Pugh
111
Voted
HICSS
2003
IEEE
168views Biometrics» more  HICSS 2003»
15 years 7 months ago
'Pay-per-use' Concept in Healthcare: A Grounded Theory Perspective
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
Abdullah A. Akbar
94
Voted
WER
2005
Springer
15 years 8 months ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano
120
Voted
COORDINATION
2000
Springer
15 years 6 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
CIBSE
2009
ACM
15 years 9 months ago
A Domain Specific Language to Generate Web Applications
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
Juan José Cadavid, Juan Bernardo Quintero, ...