1419 search results - page 217 / 284 » Notes on Formalizing Context |
81
Voted
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
IUI
2005
ACM
15 years 6 months ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
82
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
111
Voted
FORMATS
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we study timed games played on weighted timed automata. In this context, the reachability problem asks if, given a set T of locations and a cost C, Player 1 has a st...