Sciweavers

2672 search results - page 392 / 535
» Hybridizing Concept Languages
Sort
View
ACSC
2004
IEEE
14 years 24 days ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
EAGC
2004
Springer
14 years 23 days ago
Support for User-Defined Metrics in the Online Performance Analysis Tool G-PM
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
Roland Wismüller, Marian Bubak, Wlodzimierz F...
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
14 years 23 days ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
ESAW
2006
Springer
14 years 21 days ago
Current Issues in Multi-Agent Systems Development
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff
ESWS
2006
Springer
14 years 21 days ago
An Environment for Semi-automatic Annotation of Ontological Knowledge with Linguistic Content
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...
Maria Teresa Pazienza, Armando Stellato