9521 search results - page 1802 / 1905 » Compiling with continuations, continued |
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
177
click to vote
APIN
2006
15 years 6 months ago
2006
Biologists are building increasingly complex models and simulations of cells and other biological entities, and are looking at alternatives to traditional representations. Making ...
189
click to vote
EOR
2008
15 years 6 months ago
2008
We study firm's strategy to determine its product price and warranty period, and plan the spare parts manufacturing so as to maximize its profit and at the same time to fulfi...
174
click to vote
ASE
2006
15 years 6 months ago
2006
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...