1823 search results - page 344 / 365 » Formal specification: a roadmap |
COMPSAC
2002
IEEE
14 years 20 days ago
2002
IEEE
A relevant consequence of the unceasing expansion of the Web and e-commerce is the growth of the demand of new Web sites and Web applications. The software industry is facing the ...
VLDB
2001
ACM
14 years 3 days ago
2001
ACM
French government has launch in 2000 a public debate about conservation of data and electronic documents. Due to the widespread use of Internet and extranet technologies, especial...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
Knowledge management is an increasingly important source of competitive advantage for organizations. Knowledge is a renewable, re-usable and accumulating asset of value to firms t...
FMLDO
1999
Springer
13 years 12 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
AISC
1998
Springer
13 years 12 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...