2748 search results - page 242 / 550 » Generating Object-Z Specifications from Use Cases |
132
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The topology of signaling cascades has been studied in quite some detail. However, how information is processed exactly is still relatively unknown. Since quite divers...
166
Voted
ECUMN
2004
Springer
15 years 7 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
158
Voted
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
142
Voted
DASFAA
2004
IEEE
15 years 7 months ago
2004
IEEE
Text classification using a small labeled set and a large unlabeled data is seen as a promising technique to reduce the labor-intensive and time consuming effort of labeling traini...
137
Voted
IJISTA
2007
15 years 3 months ago
2007
: We propose a novel algorithm to register multiple 3D point sets within a common reference frame simultaneously. Our approach performs an explicit optimisation on the manifold of ...