6274 search results - page 730 / 1255 » Proofs, Programs, Processes |
198
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
203
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
197
click to vote
ENTCS
2006
15 years 7 months ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
177
click to vote
IJDE
2006
15 years 7 months ago
2006
This paper discusses the emerging trend of Personal Desktop Searching utilities on desktop computers, and how the information cached and stored with these systems can be retrieved...
207
click to vote
JUCS
2006
15 years 7 months ago
2006
: Ambient Intelligent (AmI) vision is a new concept materialized by the Six Framework Program of the European Community. It involves three key technologies: Ubiquitous Computing, U...