5407 search results - page 781 / 1082 » The Software Engineering Global Model |
202
click to vote
SACMAT
2010
ACM
16 years 2 days ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
188
click to vote
ECIS
2001
15 years 8 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
204
click to vote
KYOTODL
2000
15 years 8 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...
205
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
230
click to vote
FSTTCS
2005
Springer
16 years 23 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...