2588 search results - page 191 / 518 » Engineering Systems Which Generate Emergent Functionalities |
228
click to vote
FOSSACS
2004
Springer
16 years 11 days 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...
123
click to vote
HICSS
2009
IEEE
16 years 1 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...
179
click to vote
COMPSAC
2003
IEEE
16 years 8 days 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...
197
Voted
TAGT
1998
Springer
15 years 11 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...
204
click to vote
ICSEA
2006
IEEE
16 years 1 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...