3429 search results - page 356 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
125
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
165
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
163
Voted
PRIB
2009
Springer
15 years 9 months ago
2009
Springer
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
121
Voted
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
163
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...