441 search results - page 67 / 89 » The logical approach to stack typing |
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
EMO
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...
EJC
2008
14 years 11 months ago
2008
In this paper we briefly describe a new conceptual model for XML called XSEM. It is a combination of several approaches in the area. It divides the conceptual modeling process to c...
98
Voted
CLIMA
2004
14 years 11 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
ISMB
1993
14 years 10 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...