2050 search results - page 358 / 410 » A formal foundation for process modeling |
133
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
113
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
130
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
102
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
115
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...