Sciweavers

2741 search results - page 314 / 549
» Engineering Mathematical Knowledge
Sort
View
CISIS
2010
IEEE
15 years 9 months ago
Semantic Web Fostering Enterprise 2.0
—The term Enterprise 2.0 applies to the use of Web 2.0 technologies as a support for business activities within the organizations. These technologies are exploited to foster inte...
Nicola Capuano, Matteo Gaeta, Francesco Orciuoli, ...
WOSP
2000
ACM
15 years 8 months ago
Software performance antipatterns
A pattern is a common solution to a problem that occurs in many different contexts. Patterns capture expert knowledge about “best practices” in software design in a form that ...
Connie U. Smith, Lloyd G. Williams
ICSE
1999
IEEE-ACM
15 years 8 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
ICSM
1998
IEEE
15 years 8 months ago
Identification of Data Cohesive Subsystems Using Data Mining Techniques
The activity of reengineering and maintaining large legacy systems involves the use of design recovery es to produce abstractions that facilitate the understanding of the system. ...
Carlos Montes de Oca, Doris L. Carver
IUI
1998
ACM
15 years 8 months ago
Deja Vu: A Knowledge-rich Interface for Retrieval in Digital Libraries
Providing access to digital libraries will require interfaces that effectively mediate between the retrieval needs of library users and the materials that the library has to offer...
Andrew S. Gordon, Eric A. Domeshek