586 search results - page 98 / 118 » Model-Driven User Requirements Specification using SysML |
123
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
159
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
125
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
146
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Once a new genome is sequenced, one of the important questions is to determine the presence and absence of biological pathways. Analysis of biological pathways in a ge...
146
Voted
ANCS
2008
ACM
15 years 4 months ago
2008
ACM
The significance of high-performance dedicated networks has been well recognized due to the rapidly increasing number of large-scale applications that require high-speed data tran...