1417 search results - page 276 / 284 » An Architecture for a Semantic Portal |
SPIN
2005
Springer
15 years 3 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...
103
click to vote
UML
2005
Springer
15 years 3 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...
NORDICHI
2004
ACM
15 years 3 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...
112
click to vote
KBSE
2003
IEEE
15 years 2 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...
MM
2003
ACM
15 years 2 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...