406 search results - page 44 / 82 » Semantic Modelling in Agent-Based Software Development |
141
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
149
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
180
click to vote
WWW
2005
ACM
15 years 8 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
115
click to vote
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
101
click to vote
DIDACTICA
2000
15 years 2 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...