1816 search results - page 346 / 364 » ITS Domain Modelling with Ontology |
88
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
JOT
2008
14 years 9 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
102
click to vote
ICCD
2008
IEEE
15 years 6 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
105
click to vote
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...