5434 search results - page 88 / 1087 » Tool support for MOLA |
148
click to vote
DEXAW
2002
IEEE
15 years 10 months ago
2002
IEEE
The CIPHER project is concerned with developing tools and methodologies to support the exploration of cultural heritage via web-based Cultural Heritage Forums. As part of the proj...
141
click to vote
ATAL
2007
Springer
16 years 2 days ago
2007
Springer
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
165
click to vote
SERP
2003
15 years 7 months ago
2003
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
174
click to vote
IJMMS
2000
15 years 5 months ago
2000
The challenge for the World Wide Web user is to discover and rediscover useful information from very rich but also very diversified sources in the Web environment. The Web browser...
151
click to vote
STTT
1998
15 years 5 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...