913 search results - page 5 / 183 » Formal Agent Development: Framework to System |
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
118
click to vote
WOA
2010
14 years 9 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
112
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...