3824 search results - page 586 / 765 » Geometry Constructions Language |
IJFCS
2007
13 years 10 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
STTT
2008
13 years 10 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
JSW
2007
13 years 10 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
JSS
2000
13 years 10 months ago
2000
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...