Sciweavers

5972 search results - page 386 / 1195
» Extending Design Environments to Software Architecture Desig...
Sort
View
GRC
2007
IEEE
15 years 10 months ago
Perspectives of Granular Computing in Software Engineering
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
Jianchao Han, Jing Dong
DAC
1998
ACM
16 years 7 months ago
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
WWW
2005
ACM
16 years 7 months ago
Multichannel publication of interactive media documents in a news environment
Multichannel publication of multimedia presentations poses a significant challenge on the generic description of the presentation content and the system necessary to convert these...
Tom Beckers, Nico Oorts, Filip Hendrickx, Rik Van ...
EUROPAR
2003
Springer
15 years 12 months ago
iClouds - Peer-to-Peer Information Sharing in Mobile Environments
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...
Andreas Heinemann, Jussi Kangasharju, Fernando Lya...
CHI
2005
ACM
16 years 7 months ago
A study on the use of semaphoric gestures to support secondary task interactions
We present results of a study that considers (a) gestures outside the context of a specific implementation and (b) their use in supporting secondary, rather than primary tasks in ...
Maria Karam, Monica M. C. Schraefel