3765 search results - page 25 / 753 » Formal Methods for Systems Engineering Behavior Models |
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...
DSVIS
1998
Springer
14 years 26 days ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
HCI
2009
13 years 6 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
EMNLP
2008
13 years 10 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...