437 search results - page 52 / 88 » Gradience, Constructions and Constraint Systems |
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
JITECH
2007
13 years 9 months ago
2007
This paper contains a set of personal views relating to NHS Connecting for Health’s National Programme for IT (NPfIT), and in particular its Care Records Service, written from t...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
— Compared with file-sharing and distributed hash table (DHT) network, P2P streaming is more vulnerable to denial of service (DoS) attacks because of its high bandwidth demand a...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...