585 search results - page 86 / 117 » Structured Formal Development in Isabelle |
111
click to vote
JODL
2000
14 years 11 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
117
click to vote
RE
2008
Springer
14 years 11 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
117
click to vote
ICTAI
2009
IEEE
15 years 6 months ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
IWSSD
2000
IEEE
15 years 4 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...