2261 search results - page 78 / 453 » Relationships Between Models of Concurrency |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes research focused on understanding the role of incomplete structural information about online collective action systems in participation decisions. Specificall...
METRICS
2002
IEEE
14 years 25 days ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
ICFP
1998
ACM
14 years 5 days ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
CIB
2005
13 years 7 months ago
2005
Abstract-- Mining textual documents and time series concurrently, such as predicting the movements of stock prices based on the contents of the news stories, is an emerging topic i...