595 search results - page 72 / 119 » Software Strategies in developing Countries |
109
Voted
RE
2005
Springer
15 years 8 months ago
2005
Springer
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
117
Voted
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
111
Voted
FSTTCS
2006
Springer
15 years 6 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...
148
Voted
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
According to dramatically growing interesting in power-efficient embedded processor, designers must establish the proper power strategy when they design new embedded processor core...
111
Voted
FPLAY
2008
15 years 4 months ago
2008
Tabletop games provide an intimate gaming experience where groups of friends can interact in a shared space using shared physical props. Digital tabletop games show great promise ...