4126 search results - page 68 / 826 » Relationships with other Formalisms |
211
click to vote
NSPW
1998
ACM
15 years 10 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
124
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resor...
163
click to vote
VIROLOGY
2008
15 years 6 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
187
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
183
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...