3819 search results - page 465 / 764 » An Outsourcing Model of Software Development |
243
click to vote
NORDICHI
2004
ACM
16 years 9 days ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
167
click to vote
MABS
2004
Springer
16 years 7 days ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
205
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
208
click to vote
ENTCS
2008
15 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
236
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...