3765 search results - page 642 / 753 » Formal Methods for Systems Engineering Behavior Models |
139
Voted
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
114
Voted
POPL
2010
ACM
16 years 43 min ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
124
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
135
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
134
click to vote
VISUALIZATION
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...