473 search results - page 34 / 95 » Aspect Validation Using Model Checking |
ACMICEC
2003
ACM
14 years 3 months ago
2003
ACM
The Platform for Privacy Preferences (P3P) provides a standard computer-readable format for privacy policies and a protocol that enables web browsers to read and process these pol...
FLAIRS
2006
13 years 11 months ago
2006
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
EVOW
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
ALGORITHMICA
2002
13 years 9 months ago
2002
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...