660 search results - page 102 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
124
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
106
click to vote
JFP
2006
15 years 2 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
98
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
136
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
118
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present the AgreementMaker, an ontology alignment tool that incorporates the Descendants Similarity Inheritance (DSI) method. This method uses the structure of th...