15888 search results - page 315 / 3178 » Supporting human-intensive systems |
196
click to vote
IJAOSE
2010
15 years 4 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
149
click to vote
WWW
2001
ACM
16 years 8 months ago
2001
ACM
Recently, the IMS Learning Resource Meta-Data Specification [1] was released, paving the way for efficient repurposing of educational multimedia in a multitude of learning environ...
209
Voted
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
167
Voted
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we present a novel alternative means of modelling Decision support spreadsheets called Example Driven Modelling. The concept and rationale of the approach is discuss...
155
Voted
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...