1061 search results - page 91 / 213 » A general definition of malware |
154
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
173
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
173
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
197
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
162
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Both workflow and agent technology have recently been applied to business process management. The integration of these two technologies will definitely provide solutions to the pr...