2233 search results - page 55 / 447 » Modular type classes |
111
Voted
ECAL
2005
Springer
15 years 7 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 ...
116
click to vote
DOCENG
2004
ACM
15 years 7 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...
132
click to vote
PDCAT
2009
Springer
15 years 8 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...
125
click to vote
KDD
2010
ACM
15 years 6 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...
100
click to vote
RTA
2010
Springer
15 years 6 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...