1417 search results - page 276 / 284 » An Architecture for a Semantic Portal |
160
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
187
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
171
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
In speech interfaces users must be aware what can be done with the system – in other words, the system must provide information to help the users to know what to say. We have ad...
200
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
178
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
We describe an end-to-end system that capitalizes on geographic location tags for digital photographs. The World Wide Media eXchange (WWMX) database indexes large collections of i...