Sciweavers

6881 search results - page 175 / 1377
» Motivation
Sort
View
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova
AH
2006
Springer
15 years 9 months ago
Visualizing Personal Relations in Online Communities
A hard challenge facing developers of online communities is attaining a critical mass of members and subsequently sustaining their participation. We propose a new mechanism for mot...
Andrew Webster, Julita Vassileva
ATAL
2006
Springer
15 years 9 months ago
Goal types in agent programming
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...
COCOON
2004
Springer
15 years 9 months ago
k-Center Problems with Minimum Coverage
In this work, we study an extension of the k-center facility location problem, where centers are required to service a minimum of clients. This problem is motivated by requirement...
Andrew Lim, Brian Rodrigues, Fan Wang, Zhou Xu
134
Voted
COMPSAC
2004
IEEE
15 years 9 months ago
N-Gram-Based Detection of New Malicious Code
The current commercial anti-virus software detects a virus only after the virus has appeared and caused damage. Motivated by the standard signature-based technique for detecting v...
Tony Abou-Assaleh, Nick Cercone, Vlado Keselj, Ray...