Sciweavers

6054 search results - page 1065 / 1211
» Implementation of Andorra-based Languages
Sort
View
CN
2006
82views more  CN 2006»
13 years 10 months ago
Event-condition-action rules on RDF metadata in P2P environments
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
George Papamarkos, Alexandra Poulovassilis, Peter ...
CORR
2006
Springer
77views Education» more  CORR 2006»
13 years 10 months ago
Deductive Object Programming
We propose some slight additions to O-O languages to implement the necessary features for using Deductive Object Programming (DOP). This way of programming based upon the manipula...
François Colonna
CORR
2006
Springer
122views Education» more  CORR 2006»
13 years 10 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...
CORR
2006
Springer
108views Education» more  CORR 2006»
13 years 10 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
CAL
2007
13 years 10 months ago
Dynamic Predication of Indirect Jumps
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
José A. Joao, Onur Mutlu, Hyesoon Kim, Yale...
« Prev « First page 1065 / 1211 Last » Next »