1784 search results - page 341 / 357 » Formal Models for Embedded System Design |
181
click to vote
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
157
click to vote
ARGMAS
2006
Springer
15 years 9 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
151
Voted
TCIAIG
2010
15 years 9 days ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
161
click to vote
SAC
2009
ACM
16 years 12 days ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
144
click to vote
ISORC
2009
IEEE
16 years 7 days ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...