140 search results - page 17 / 28 » Pitfalls of Agent-Oriented Development |
ITP
2010
14 years 1 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
SSR
1997
13 years 11 months ago
1997
Frameworks are an object-oriented reuse technique that are widely used in industry but not discussed much by the software engineering research community. They are a way of reusing...
ECIS
2004
13 years 11 months ago
2004
The term electronic government (e-Government) generally refers to the use of information and communications technology (ICT) to change the structures and processes of government o...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
IEEEPACT
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, we present efficient methods for multidimensional array redistribution. Based on the previous work, the basic-cycle calculation technique, we present a basic-block ...