Sciweavers

3619 search results - page 495 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
SERP
2007
15 years 5 months ago
AppDetector: A Tool Prototype for Visualizing Java Code Dependencies on Relational Databases
- Modern tools have simplified the development of the enterprise applications by bridging gaps across various technologies like file systems, relational databases, messaging, and w...
Sai Ravindran, Paul L. Bergstein
IWFM
1998
15 years 5 months ago
Towards an Override in Topoi
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
Arthur P. Hughes
FOIKS
2006
Springer
15 years 8 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
GI
2009
Springer
15 years 2 months ago
A BPMN Case Study: Paper Review and Submission System
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
Markus Kirchberg, Ove Sörensen, Bernhard Thal...
WWW
2003
ACM
16 years 4 months ago
Detecting web page structure for adaptive viewing on small form factor devices
Mobile devices have already been widely used to access the Web. However, because most available web pages are designed for desktop PC in mind, it is inconvenient to browse these l...
Yu Chen, Wei-Ying Ma, HongJiang Zhang