Sciweavers

7404 search results - page 1272 / 1481
» New Tools in Education
Sort
View
ERLANG
2008
ACM
15 years 8 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
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, ...
166
Voted
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...
FITRAMEN
2008
15 years 8 months ago
A Fair and Dynamic Load-Balancing Mechanism
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...
Federico Larroca, Jean-Louis Rougier
210
Voted
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...
« Prev « First page 1272 / 1481 Last » Next »