285 search results - page 42 / 57 » Towards a Compositional Approach to the Design and Verificat... |
CASCON
2007
13 years 10 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
ACMICEC
2007
ACM
14 years 14 days ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
ICPPW
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
DLS
2007
14 years 11 days ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...