Sciweavers

619 search results - page 95 / 124
» More on Subfitness and Fitness
Sort
View
UML
1998
Springer
14 years 2 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
ASPDAC
1998
ACM
72views Hardware» more  ASPDAC 1998»
14 years 2 months ago
Space- and Time-Efficient BDD Construction via Working Set Control
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
Bwolen Yang, Yirng-An Chen, Randal E. Bryant, Davi...
ICOST
2010
Springer
14 years 2 months ago
Context-Aware Personal Diet Suggestion System
Abstract. Keeping a healthy and balanced diet has long been a critical issue for a person wanting to stay fit and energetic in her/his daily life. We can always turn to a dietitian...
Yu-Chiao Huang, Ching-Hu Lu, Tsung-Han Yang, Li-Ch...
CEC
2007
IEEE
14 years 2 months ago
Efficient assembling of genome fragments using genetic algorithm enhanced by heuristic search
Abstract-- Shotgun sequencing is the state-of-the-art to decode genome sequence. However this technique needs a lot of fragments. Combining those fragments correctly requires enorm...
Satoko Kikuchi, Goutam Chakraborty
ECRIME
2007
14 years 2 months ago
Examining the impact of website take-down on phishing
Banks and other organisations deal with fraudulent phishing websites by pressing hosting service providers to remove the sites from the Internet. Until they are removed, the fraud...
Tyler Moore, Richard Clayton