12115 search results - page 2246 / 2423 » Bisimulation of Dynamical Systems |
156
click to vote
IFL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
140
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
151
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
177
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
136
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...