4126 search results - page 124 / 826 » Relationships with other Formalisms |
174
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
Distributed multiuser hypermedia environments provide not only information sharing mechanisms but also user collaboration/ communication facilities. The provision of integrated vi...
160
click to vote
VIP
2003
15 years 7 months ago
2003
1 This paper describes a new approach for visualising the file structures. Our technique uses an enclosure + connection (ENCCON) approach that provides an overall view of the enti...
190
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Biomedical entity extraction from unstructured web documents is an important task that needs to be performed in order to discover knowledge in the veterinary medicine domain. In ge...
152
click to vote
ACISICIS
2010
IEEE
14 years 10 months ago
2010
IEEE
— Open source software (OSS) development is considered an effective approach to ensuring acceptable levels of software quality. One facet of quality improvement involves the dete...
190
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...