1565 search results - page 180 / 313 » The Intensional View Environment |
115
click to vote
POS
2000
Springer
15 years 7 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
158
click to vote
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
135
click to vote
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
139
click to vote
CLA
2007
15 years 5 months ago
2007
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
138
click to vote
ECIS
2004
15 years 5 months ago
2004
The development of business models for eBusiness has become increasing popular within both the academic and business arena. We believe that many of the business models for eBusine...