336 search results - page 49 / 68 » Formal architectural abstractions for interactive software |
157
click to vote
EMSOFT
2010
Springer
15 years 3 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
161
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
138
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
192
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
148
click to vote
IVA
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...