1127 search results - page 99 / 226 » The XIS Generative Programming Techniques |
ICTAI
2009
IEEE
15 years 6 months ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
MDM
2007
Springer
15 years 5 months ago
2007
Springer
Data broadcast is a technique to realize energy saving and bandwidth utilization in a mobile computing environment. However, traditional schemes schedule data items without consid...
ICECCS
2000
IEEE
15 years 3 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
JUCS
2008
14 years 11 months ago
2008
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
ICSEA
2007
IEEE
15 years 5 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...