5451 search results - page 191 / 1091 » Typed Operational Semantics |
154
Voted
PACT
2007
Springer
15 years 10 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
130
Voted
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
126
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
125
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
126
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...