Sciweavers

3689 search results - page 368 / 738
» A Language with Distributed Scope
Sort
View
143
Voted
WOODPECKER
2001
15 years 6 months ago
Writing ODP Enterprise Specifications in Maude
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
Francisco Durán, Antonio Vallecillo
155
Voted
ESM
1998
15 years 6 months ago
A Simulation Testbed for Biologically Inspired Robots and Their Controllers
This paper introduces a dynamics simulator designed to aid the development of control algorithms for biologically inspired robots. We describe the simulator and a two-tier framewo...
Jesse A. Reichler, Fred Delcomyn
WSC
2000
15 years 6 months ago
Input modeling using a computer algebra system
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
Diane L. Evans, Lawrence Leemis
140
Voted
CONCUR
2009
Springer
15 years 11 months ago
Probabilistic Weighted Automata
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
172
Voted
GPCE
2009
Springer
15 years 9 months ago
A generative programming approach to developing pervasive computing systems
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
Damien Cassou, Benjamin Bertran, Nicolas Loriant, ...