6953 search results - page 1112 / 1391 » Development Tools for Distributed Applications |
200
click to vote
JUCS
2008
15 years 6 months ago
2008
: After more than ten years of research aiming at defining methods and techniques to deliver personalized instruction, Adaptive Educational Hypermedia Systems have not made the jum...
182
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
164
click to vote
JUCS
2006
15 years 6 months ago
2006
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
179
click to vote
NRHM
2008
15 years 6 months ago
2008
: The World Wide Web is currently the single most popular hypertext system; however, a number of features that were common for advanced "standalone" hypertext systems are...