5904 search results - page 281 / 1181 » Requirements for a Composition Language |
128
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
— We present design patterns used by software components in the TinyOS operating system. They differ significantly from traditional software design patterns due to TinyOS’s fo...
151
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
158
click to vote
ECOWS
2004
Springer
15 years 10 months ago
2004
Springer
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
126
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
127
Voted
COLING
2008
15 years 6 months ago
2008
We report on the large-scale acquisition of class attributes with and without the use of lists of representative instances, as well as the discovery of unary attributes, such as t...