26071 search results - page 120 / 5215 » Making the |
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
PRDC
2002
IEEE
14 years 1 months ago
2002
IEEE
Grid computing relies on fragile partnerships. Clients with hundreds or even thousands of pending service requests must seek out and form temporary alliances with remote servers e...
WACV
2002
IEEE
14 years 1 months ago
2002
IEEE
Skin detection is an important process in many of computer vision algorithms. It usually is a process that starts at a pixel-level, and that involves a pre-process of colorspace t...
ADAEUROPE
2010
Springer
14 years 1 months ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...
ESWS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In this demo we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontology...