3819 search results - page 540 / 764 » An Outsourcing Model of Software Development |
150
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
197
click to vote
EWSPT
2000
Springer
15 years 9 months ago
2000
Springer
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
163
click to vote
AADEBUG
1995
Springer
15 years 9 months ago
1995
Springer
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
155
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
163
click to vote
CISSE
2008
Springer
15 years 7 months ago
2008
Springer
Localization is the subject matter that has allured the attention of many researchers in the field of wireless sensor network. It is the process of assigning or computing the locat...