2845 search results - page 437 / 569 » Constraints over Ontologies |
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
DISCEX
2003
IEEE
14 years 2 months ago
2003
IEEE
The design principle of restricting local autonomy only where necessary for global robustness has led to a scalable Internet. Unfortunately, this scalability and capacity for dist...
ICDCSW
2003
IEEE
14 years 2 months ago
2003
IEEE
To obtain good performance in messaging over mobile networks, we have developed a Gateway. Gateway is a message hub that transmits information using store-and-forward messaging an...
ISORC
2003
IEEE
14 years 2 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...