15253 search results - page 170 / 3051 » Integer-Programming Software Systems |
157
Voted
DSVIS
2003
Springer
15 years 10 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
128
Voted
ICPP
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes a technique called producer-push that enhances the performance of a page-based software distributed shared memory system. Shared data, in software DSM systems...
132
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
131
click to vote
NAR
2007
15 years 4 months ago
2007
To bridge the gap between the rising information needs of biological and medical researchers and the rapidly growing number of online bioinformatics resources, we have created the...
155
click to vote
DSVIS
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...