3040 search results - page 64 / 608 » Synergetic Tool Environments |
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
AINTEC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Emergency networks normally operate under highly unpredictable wireless environment and hence real time performance information holds a great significance that cannot be...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
IV
2003
IEEE
14 years 2 months ago
2003
IEEE
With recent advancements of technology, radiofrequency ablation has become one of the most used techniques to treat liver tumors. But radiologists still have to face the difficul...