2830 search results - page 469 / 566 » A Development Tool for E-learning Applications |
104
click to vote
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
SAT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
WER
2004
Springer
15 years 3 months ago
2004
Springer
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
ICTAI
2003
IEEE
15 years 3 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
— The increasing need of protocol development environments and network performance evaluation tools gives rise to the research of flexible, scalable, and accurate network emulato...