517 search results - page 73 / 104 » Specification transformers: a predicate transformer approach... |
EUSAI
2003
Springer
14 years 1 months ago
2003
Springer
This invited talk starts out with a review of the previously developed Roomware® concept and sample prototypes as an approach for designing new forms of interaction and collaborat...
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we present a constraint-based approach for selecting and deploying active network components, called proxylets, which execute on servers within the network to perfo...
WETICE
1999
IEEE
14 years 23 days ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
ASWEC
2004
IEEE
14 years 7 days ago
2004
IEEE
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...