5465 search results - page 67 / 1093 » Assigning Types to Processes |
DEBS
2007
ACM
14 years 1 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
ESOP
2012
Springer
12 years 5 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
CICLING
2001
Springer
14 years 2 months ago
2001
Springer
Documents can be assigned keywords by frequency analysis of the terms found in the document text, which arguably is the primary source of knowledge about the document itself. By in...
ER
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...
FOAL
2007
ACM
14 years 1 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...