Sciweavers

2120 search results - page 173 / 424
» Management and Sharing of Bibliographies
Sort
View
CORR
2006
Springer
122views Education» more  CORR 2006»
15 years 6 months ago
Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
Majid Khayari, Stéphane Schneider, Isabelle...
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 4 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
GRID
2004
Springer
15 years 12 months ago
Hybrid Preemptive Scheduling of MPI Applications on the Grids
— Time sharing between all the users of a Grid is a major issue in cluster and Grid integration. Classical Grid architecture involves a higher level scheduler which submits non o...
Aurelien Bouteiller, Hinde-Lilia Bouziane, Thomas ...
WWW
2005
ACM
16 years 7 months ago
Constructing extensible XQuery mappings
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
Gang Qian, Yisheng Dong
ICSE
2008
IEEE-ACM
16 years 6 months ago
The application of knowledge-sharing workspace paradigm for software architecture processes
Management of architectural knowledge is vital for improving an organisation's capabilities in software architecture. Recently, there have been many efforts to develop variou...
Muhammad Ali Babar