1328 search results - page 215 / 266 » Cut-free common knowledge |
182
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
152
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
130
click to vote
CSEE
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a European Master programme on Global Software Engineering (SE), being put forward by four leading institutions from Sweden, UK, Netherlands and Italy. The Glo...
148
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
141
click to vote
BSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...