5664 search results - page 417 / 1133 » Creativity support tools |
199
click to vote
QEST
2005
IEEE
16 years 12 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
180
Voted
ESWS
2004
Springer
16 years 7 days ago
2004
Springer
Web browsing is often a collaborative activity. Users involved in a joint information gathering exercise will wish to share knowledge about the web pages visited and the contents f...
172
click to vote
SEKE
2004
Springer
16 years 5 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
150
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
168
click to vote
SPIRE
1999
Springer
15 years 11 months ago
1999
Springer
Collaborative Virtual Environments (CVE) support the collaboration, communication and social interaction among users in virtual spaces. In this paper we present a customizable CVE...