Sciweavers

3089 search results - page 427 / 618
» services 2008
Sort
View
RTS
2008
131views more  RTS 2008»
15 years 3 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
SAC
2008
ACM
15 years 3 months ago
Increasing trust through the use of 3d e-commerce environment
Existing 2D e-commerce internet websites provide users with only relatively simple, browser-based interface to access available products and services. These websites often lack in...
Nasser Nassiri
SAC
2008
ACM
15 years 3 months ago
Serpentine: adaptive middleware for complex heterogeneous distributed systems
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...
Miguel Matos, Alfrânio Correia Jr., Jos&eacu...
IJSC
2008
95views more  IJSC 2008»
15 years 3 months ago
Beyond Information Silos - an Omnipresent Approach to Software Evolution
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
Juergen Rilling, René Witte, Philipp Sch&uu...
120
Voted
WWW
2008
ACM
16 years 4 months ago
Flickr tag recommendation based on collective knowledge
Online photo services such as Flickr and Zooomr allow users to share their photos with family, friends, and the online community at large. An important facet of these services is ...
Börkur Sigurbjörnsson, Roelof van Zwol