1200 search results - page 213 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
AIEDU
2004
13 years 8 months ago
2004
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the key requirement for Grid infrastructures is the ability to share resources with nontrivial qualities of service. However, resource management in a decentralized infrast...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...