1632 search results - page 114 / 327 » Using Java to develop Web based tutorials |
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
This article addresses a question regarding relevant information in a social media such as a wiki that can contain huge amount of text, written in slang or in natural language, wi...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
IC
2003
13 years 9 months ago
2003
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Capturing the technical knowledge, contextual information, and rationale surrounding the design decisions underpinning system architectures can greatly improve the software develo...
DEXAW
2008
IEEE
14 years 2 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...