3765 search results - page 249 / 753 » Formal Methods for Systems Engineering Behavior Models |
195
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
162
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
178
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
140
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Attentive systems pay attention to what users do so that they can attend to what users need. Such systems track user behavior, model user interests, and anticipate user desires an...
186
click to vote
APSEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...