2845 search results - page 437 / 569 » Constraints over Ontologies |
145
click to vote
COMPSAC
2003
IEEE
15 years 11 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
15 years 11 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...
131
click to vote
DISCEX
2003
IEEE
15 years 11 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...
180
click to vote
ICDCSW
2003
IEEE
15 years 11 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...
145
click to vote
ISORC
2003
IEEE
15 years 10 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 ...