3101 search results - page 474 / 621 » Composing Adaptive Software |
183
click to vote
MMS
2008
15 years 6 months ago
2008
Authoring of multimedia content can be considered as composing media assets such as images, videos, text, and audio in time, space, and interaction into a coherent multimedia pres...
204
click to vote
FMSD
2007
15 years 6 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
185
click to vote
JFR
2007
15 years 6 months ago
2007
To achieve the ever increasing demand for science return, planetary exploration rovers require more autonomy to successfully perform their missions. Indeed, the communication dela...
197
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
179
click to vote
RTS
2008
15 years 5 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...