Sciweavers

3868 search results - page 663 / 774
» Open Systems in TLA
Sort
View
ICCS
2009
Springer
15 years 4 months ago
Parallel MLEM on Multicore Architectures
Abstract. The efficient use of multicore architectures for sparse matrixvector multiplication (SpMV) is currently an open challenge. One algorithm which makes use of SpMV is the ma...
Tilman Küstner, Josef Weidendorfer, Jasmine S...
ICSOC
2009
Springer
15 years 4 months ago
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
Haruhiko Takada, Incheon Paik
CORR
2010
Springer
83views Education» more  CORR 2010»
15 years 3 months ago
MT4j - A Cross-platform Multi-touch Development Framework
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
Uwe Laufs, Christopher Ruff, Jan Zibuschka
ENTCS
2010
103views more  ENTCS 2010»
15 years 3 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
IJACTAICIT
2010
192views more  IJACTAICIT 2010»
15 years 3 months ago
Service Level Security using Expected Clandestine Figure for Corroboration of Web Service Consumer
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
M. S. Saleem Basha