1368 search results - page 133 / 274 » Understanding Software Systems Using Reverse Engineering Tec... |
115
click to vote
AMOST
2005
ACM
15 years 8 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
149
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
117
click to vote
RIVF
2007
15 years 3 months ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
140
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
126
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Peer-To-Peer (P2P) networks like Gnutella improve some shortcomings of Conventional Search Engines (CSE) such as centralized and outdated indexing by distributing the search engin...