2830 search results - page 327 / 566 » A Development Tool for E-learning Applications |
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
The pharmaceutical industry is facing an ever-increasing demand to discover novel drugs that are more effective and safer than existing ones. The industry faces huge problem in im...
101
Voted
TOOLS
1998
IEEE
15 years 2 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...
84
Voted
FMICS
2008
Springer
15 years 14 days ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
95
Voted
DAC
2011
ACM
13 years 10 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
107
Voted
RR
2007
Springer
15 years 5 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...