Sciweavers

18429 search results - page 425 / 3686
» Typing dynamic typing
Sort
View
HVC
2005
Springer
183views Hardware» more  HVC 2005»
16 years 12 days ago
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
Rahul Agarwal, Liqiang Wang, Scott D. Stoller
FOSSACS
2004
Springer
16 years 8 days ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
ECOOP
2008
Springer
15 years 8 months ago
Safe Cross-Language Inheritance
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
Kathryn E. Gray
ICWS
2010
IEEE
15 years 4 months ago
An Approach for Context-Aware Service Discovery and Recommendation
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...
Hua Xiao, Ying Zou, Joanna Ng, Leho Nigul
ICMCS
2005
IEEE
114views Multimedia» more  ICMCS 2005»
16 years 14 days ago
Self Configurable Queries for Digital Image Libraries
Since multimedia information is characterized by motley types of media with different properties, multimedia content retrieval in digital libraries requires dynamic reconfigurable...
Panagiotis Karagiannis, Nikolaos D. Doulamis, Geor...