6348 search results - page 600 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
297
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
220
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
239
click to vote
INTENSIVE
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
202
click to vote
CITA
2005
IEEE
16 years 26 days ago
2005
IEEE
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...
194
click to vote
COMPSAC
2005
IEEE
16 years 26 days ago
2005
IEEE
Distributed systems today are very vulnerable to malicious attacks, either from insiders or outsiders. When an attacker controls a component of the system, he may steal some sensi...