Sciweavers

2806 search results - page 412 / 562
» BML and Related Tools
Sort
View
ESWS
2008
Springer
15 years 8 months ago
Simplifying the Web Service Discovery Process
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
Nathalie Steinmetz, Mick Kerrigan, Holger Lausen, ...
FASE
2008
Springer
15 years 8 months ago
What's in a Feature: A Requirements Engineering Perspective
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
Andreas Classen, Patrick Heymans, Pierre-Yves Scho...
FOIKS
2008
Springer
15 years 8 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
FSE
2008
Springer
162views Cryptology» more  FSE 2008»
15 years 8 months ago
Collisions on SHA-0 in One Hour
At Crypto 2007, Joux and Peyrin showed that the boomerang attack, a classical tool in block cipher cryptanalysis, can also be very useful when analyzing hash functions. They applie...
Stéphane Manuel, Thomas Peyrin
APVIS
2010
15 years 8 months ago
Stack zooming for multi-focus interaction in time-series data visualization
Information visualization shows tremendous potential for helping both expert and casual users alike make sense of temporal data, but current time series visualization tools provid...
Waqas Javed, Niklas Elmqvist