973 search results - page 58 / 195 » Be Prepared |
DOCENG
2007
ACM
14 years 2 months ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
CANDT
2009
14 years 2 months ago
2009
Urban design today faces complex demands. It has become a necessity to negotiate between stakeholder objectives, the expectations of citizens, and the demands of planning. In this...
HASE
2007
IEEE
14 years 2 months ago
2007
IEEE
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
AIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
APSEC
2004
IEEE
14 years 2 months ago
2004
IEEE
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...