3883 search results - page 454 / 777 » Design mentoring based on design evolution analysis |
205
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
267
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
175
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...
154
Voted
INTERACT
2007
15 years 8 months ago
2007
Many studies have shown how knowledge workers face challenges while multi-tasking among several projects and initiatives at the workplace. Researchers and consultants of personal p...
192
click to vote
INTERACT
2007
15 years 8 months ago
2007
Abstract. Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, ...