3216 search results - page 586 / 644 » The Oregon Software Development Process |
ICFEM
2003
Springer
14 years 3 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
CSB
2002
IEEE
14 years 2 months ago
2002
IEEE
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
SEMWEB
2001
Springer
14 years 2 months ago
2001
Springer
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...
ICECCS
2000
IEEE
14 years 2 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...