5664 search results - page 404 / 1133 » Creativity support tools |
183
click to vote
APN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
156
click to vote
APN
2004
Springer
16 years 6 days ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
172
click to vote
HUC
2004
Springer
16 years 6 days ago
2004
Springer
We are developing a wearable device that attempts to alleviate some everyday memory problems. The “memory prosthesis” records audio and contextual information from conversation...
141
click to vote
RE
2004
Springer
16 years 5 days ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
164
click to vote
EDOC
2003
IEEE
16 years 3 days ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....