1137 search results - page 149 / 228 » Disciplined Methods of Software Specification: A Case Study |
199
click to vote
FSEN
2009
Springer
16 years 18 days 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 ...
135
click to vote
ISSRE
2007
IEEE
15 years 7 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...
128
click to vote
APBC
2004
15 years 7 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...
169
click to vote
ISWC
1998
IEEE
15 years 10 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...
153
click to vote
IUI
2010
ACM
16 years 2 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...