6581 search results - page 24 / 1317 » Formalizing Design Patterns |
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
ICFEM
2010
Springer
13 years 8 months ago
2010
Springer
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
RIAO
2007
13 years 11 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
FCT
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents the prediction-preserving reducibility with membership queries (pwm-reducibility) on formal languages, in particular, simple CFGs and finite unions of regular ...