2496 search results - page 81 / 500 » Error-detecting properties of languages |
124
Voted
JSS
2010
14 years 7 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
102
Voted
ECOOP
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
124
click to vote
CADE
2004
Springer
16 years 28 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
126
Voted
ECCB
2005
IEEE
15 years 6 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
206
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...