2493 search results - page 254 / 499 » Tool Support for Design by Contract |
APN
2004
Springer
15 years 4 months 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...
HUC
2004
Springer
15 years 4 months 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...
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
The PAPI project has defined and implemented a crossplatform interface to the hardware counters available on most modern microprocessors. The interface has gained widespread use ...
IV
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper describes a visualisation tool, VlUM, designed to support users in scrutinising models of their interests, preferences and knowledge. We also describe MECUREO, a tool f...
ICWL
2003
Springer
15 years 4 months ago
2003
Springer
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...