11722 search results - page 279 / 2345 » How Developers Develop Features |
162
click to vote
TGC
2007
Springer
16 years 19 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
150
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level langu...
202
click to vote
MOBICOM
2006
ACM
16 years 15 days ago
2006
ACM
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
146
click to vote
PDC
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we use the notions of artful integrations and infrastructure to analyze two cases of community Participatory Design ‘in the wild’. Though the communities are qu...
182
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...