1669 search results - page 134 / 334 » Structured Specification of Model Interpreters |
152
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
148
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
158
Voted
COOPIS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
145
Voted
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
117
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
We study the dynamic membership problem, one of the most fundamental data structure problems, in the cell probe model with an arbitrary cell size. We consider a cell probe model e...