Sciweavers

996 search results - page 132 / 200
» Enhancing UML Models: A Domain Analysis Approach
Sort
View
FMCAD
2000
Springer
15 years 7 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
151
Voted
ASIAMS
2009
IEEE
15 years 4 months ago
Uncovering Hidden Information Within University's Student Enrollment Data Using Data Mining
To date, higher educational organizations are placed in a very high competitive environment. To remain competitive, one approach is to tackle the student and administration challen...
Fadzilah Siraj, Mansour Ali Abdoulha
100
Voted
JDIM
2010
125views more  JDIM 2010»
14 years 10 months ago
Building Context-Awareness Models for Mobile Applications
ABSTRACT. The design process followed to produce traditional applications needs to be enhanced to cope with new contextaware ubiquitous application requirements. With the popularit...
Chantal Taconet, Zakia Kazi-Aoul
131
Voted
WSC
2008
15 years 6 months ago
An indirect workforce (re)allocation model for semiconductor manufacturing
Semiconductor industry is a capital intensive and knowledge intensive industry, in which human resource management and human capital enhancement is increasingly important. To main...
Chen-Fu Chien, Wen-Chih Chen, Shao-Chung Hsu
128
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
Plenoptic modeling: an image-based rendering system
Image-based rendering is a powerful new approach for generating real-time photorealistic computer graphics. It can provide convincing animations without an explicit geometric repr...
Leonard McMillan, Gary Bishop