2060 search results - page 237 / 412 » The Composition of Event-B Models |
173
click to vote
ICMCS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
190
click to vote
AUTOID
2005
IEEE
16 years 5 days 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...
189
click to vote
ISSTA
2004
ACM
15 years 12 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...
183
click to vote
PADS
2004
ACM
15 years 12 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...
185
click to vote
RE
2004
Springer
15 years 12 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...