Sciweavers

1177 search results - page 116 / 236
» A review of function modeling: Approaches and applications
Sort
View
AH
2008
Springer
16 years 23 days ago
Modelling Semantic Relationships and Centrality to Facilitate Community Knowledge Sharing
Some of today’s most widely spread applications are social systems where people can form communities and share knowledge. However, knowledge sharing is not always effective and c...
Styliani Kleanthous, Vania Dimitrova
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 14 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
VLC
2002
118views more  VLC 2002»
15 years 6 months ago
Modeling Behaviors of Interactive Objects for Real-Time Virtual Environments
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
Marcelo Kallmann, Daniel Thalmann
ECAI
2010
Springer
15 years 7 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
AUIC
2006
IEEE
16 years 15 days ago
Generating mobile device user interfaces for diagram-based modelling tools
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...
Dejin Zhao, John C. Grundy, John G. Hosking