619 search results - page 95 / 124 » More on Subfitness and Fitness |
UML
1998
Springer
14 years 2 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
ASPDAC
1998
ACM
14 years 2 months ago
1998
ACM
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...
ICOST
2010
Springer
14 years 2 months ago
2010
Springer
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...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
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...
ECRIME
2007
14 years 2 months ago
2007
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...