6581 search results - page 384 / 1317 » Formalizing Design Patterns |
143
click to vote
AGTIVE
1999
Springer
15 years 9 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
131
Voted
ASIAN
1998
Springer
15 years 9 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
143
click to vote
EURODAC
1990
IEEE
15 years 9 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
144
Voted
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
120
Voted
SIGLEX
1991
15 years 8 months ago
1991
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...