2233 search results - page 55 / 447 » Modular type classes |
124
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article presents the first results of a project in underwater modular robotics, called Neubots. The goals of the projects are to explore, following Von Neumann’s ...
133
click to vote
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
150
click to vote
PDCAT
2009
Springer
15 years 11 months ago
2009
Springer
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
149
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we introduce a modular, highly flexible, opensource environment for data generation. Using an existing graphical data flow tool, the user can combine various types...
122
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...