1948 search results - page 90 / 390 » Formalizing Mirror Theory |
150
click to vote
GISCIENCE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. New methods of data collection, in particular the wide range of sensors and sensor networks that are being constructed, with the ability to collect real-time data streams...
205
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
139
click to vote
LATIN
2010
Springer
16 years 7 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
142
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
171
click to vote
FORTE
2010
15 years 6 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...