11561 search results - page 313 / 2313 » A Language for Biochemical Systems |
196
click to vote
ICCHP
2010
Springer
15 years 5 months ago
2010
Springer
Sports are important in the life of deaf, as well as hearing persons, on physical, social and mental levels. However, despite that there exist many deaf sports organization in the ...
165
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
166
click to vote
IJCAI
1993
15 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
202
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
We describe the integration of a structuredtext retrieval system (TextMachine) into an object-oriented database system (OpenODB). We use the external function capability of the da...
172
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...