1835 search results - page 203 / 367 » Functional Programming of Behavior-Based Systems |
148
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Robert Thomas has shown, using simulations of experimental results, that the power flow on any line in an electric network is linearly proportional to the total system load when t...
147
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
165
click to vote
PPPJ
2006
ACM
15 years 11 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
189
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
258
click to vote
WAIM
2009
Springer
15 years 11 months ago
2009
Springer
StreetTiVo is a project that aims at bringing research results into the living room; in particular, a mix of current results in the areas of Peer-to-Peer XML Database Management Sy...