1137 search results - page 149 / 228 » Disciplined Methods of Software Specification: A Case Study |
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
ISSRE
2007
IEEE
14 years 11 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...
APBC
2004
14 years 11 months ago
2004
The nature of specific protein-nucleic acid interaction between restriction endonucleases (RE) and their recognition sequences (RS) was studied by bioinformatics methods. It was f...
ISWC
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes a preliminary investigation of how the capabilities of wearable computers may be used to provide task guidance in mobile environments. Specifically, this stud...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...