2111 search results - page 379 / 423 » How to Program Pervasive Systems |
IWPC
2007
IEEE
14 years 3 months ago
2007
IEEE
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
BROADNETS
2006
IEEE
14 years 3 months ago
2006
IEEE
Grid services have tremendously simplified the programming challenges in leveraging large-scale distributed comAt the same time, the increased level of abstraction reduces the op...
LCN
2006
IEEE
14 years 3 months ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...