913 search results - page 5 / 183 » Formal Agent Development: Framework to System |
163
Voted
ICFEM
2004
Springer
16 years 3 days 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...
208
Voted
WOA
2010
15 years 4 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...
165
Voted
CAISE
2005
Springer
16 years 8 days 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...
136
Voted
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
196
Voted
FASE
2008
Springer
15 years 8 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...