127 search results - page 24 / 26 » Towards a Semantically-Driven Software Engineering Environme... |
ICEIS
2000
IEEE
13 years 12 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
IUI
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
TSE
1998
13 years 7 months ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...