12774 search results - page 369 / 2555 » A Framework for Proof Systems |
167
click to vote
ACSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
207
Voted
ISCIS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
175
Voted
AIRS
2004
Springer
16 years 8 days ago
2004
Springer
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...
157
Voted
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Approaches supporting organizational change must change due to changes in the organizational systems and their environments: organizations must deal with an information overload, ...
218
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
In re-engineering object-oriented legacy code, it is frequently useful to introduce a design pattern in order to improve specific non-functional requirements (e.g., maintainabili...