6953 search results - page 1082 / 1391 » Development Tools for Distributed Applications |
155
click to vote
ICSR
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
204
click to vote
WSC
1997
15 years 8 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
203
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
186
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
154
click to vote
IC3
2009
15 years 4 months ago
2009
A convenient mechanism to refer to large biological objects such as sequences, structures and networks is the use of identifiers or handles, commonly called IDs. IDs function as a ...