3468 search results - page 568 / 694 » An open logical framework |
ICADL
2010
Springer
14 years 1 months ago
2010
Springer
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
AOSE
2001
Springer
14 years 1 months ago
2001
Springer
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
TES
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all siz...