9626 search results - page 1705 / 1926 » Invariant Based Programming |
186
click to vote
CRIWG
2004
15 years 8 months ago
2004
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific applicatio...
144
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...
174
click to vote
ERSA
2004
15 years 8 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
182
click to vote
DLT
2006
15 years 8 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
151
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...