2588 search results - page 191 / 518 » Engineering Systems Which Generate Emergent Functionalities |
175
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
CARMA is an advisory system for grasshopper infestations that has been successfully used since 1996. During CARMA’s history, grasshopper control has increasingly focused on envi...
137
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
157
Voted
TAGT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
154
Voted
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...