2558 search results - page 311 / 512 » Model Composition Contracts |
155
click to vote
AUTOID
2005
IEEE
15 years 10 months ago
2005
IEEE
Following Daubert in 1993, forensic evidence based on fingerprints was first challenged in the 1999 case of USA vs. Byron Mitchell, and subsequently, in 20 other cases involving...
148
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
161
click to vote
PADS
2004
ACM
15 years 10 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
150
click to vote
RE
2004
Springer
15 years 10 months ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
128
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The existing Web service management solutions are almost exclusively focused on optimization of technical QoS metrics (e.g., availability). However, financial (e.g., prof...