1528 search results - page 142 / 306 » Performance Assertion Checking |
124
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
108
Voted
IWINAC
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we consider networks of evolutionary processors with splicing rules and permitting context (NEPPS) as language generating and computational devices. Such a network c...
126
click to vote
CLEF
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes the participation of RICOH in the monolingual and cross-lingual information retrieval tasks on German Indexing and Retrieval Testdatabase (GIRT) in the Cross-L...
132
click to vote
ICDCIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
107
Voted
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...