1459 search results - page 165 / 292 » Tool Supported Development of Service-Based Systems |
138
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Shared-usage high throughput screening (HTS) facilities are becoming more common in academe as large-scale small molecule and genome-scale RNAi screening strategies ar...
151
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
124
click to vote
WICSA
2001
15 years 5 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
113
click to vote
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
161
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...