12333 search results - page 2407 / 2467 » System Level Modelling for Hardware Software Systems |
136
click to vote
PODC
2005
ACM
15 years 11 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
168
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
158
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In the past emotions have been dismissed as a distraction to the logical, scientific thought process. More recently however, the importance of emotion in human-like intelligence a...
159
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
155
click to vote
FSTTCS
2005
Springer
15 years 11 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...