11063 search results - page 301 / 2213 » On the existence of universal models |
159
click to vote
AO
2007
15 years 6 months ago
2007
A number of proposals exist how to support the concept of roles at the level of programming languages. While some of these proposals indeed exhibit very promising properties, the c...
162
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Service-oriented environments facilitate dynamic processes whose properties can be altered during runtime. The transactional support of such processes holds specific requirements...
114
click to vote
ECIS
2001
15 years 8 months ago
2001
The design of an IS postgraduate curriculum may take as staring point existing model curricula and guidelines. However, the landscape of Information Systems, as well as the needs ...
192
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
168
click to vote
GMP
2008
IEEE
16 years 1 months ago
2008
IEEE
Fitting of data points by parametric curves and surfaces is demanded in many scientific fields. In this paper we review and analyze existing least squares orthogonal distance fi...