3706 search results - page 456 / 742 » System Description: E-KRHyper |
176
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
An issue in utilizing ontology in product information domain is how to make it operational. This requires considering the features to be included in a pragmatic product information...
184
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
169
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
161
Voted
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
249
click to vote
ISN
2000
Springer
15 years 10 months ago
2000
Springer
Network Control is currently carried out mainly by means of signalling protocols. Although these protocols are robust and facilitate standardisation, they present several drawback...