Sciweavers

2905 search results - page 319 / 581
» Formal Memetic Algorithms
Sort
View
PPDP
2005
Springer
16 years 4 days ago
Isolation-only transactions by typing and versioning
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
Pawel T. Wojciechowski
RSFDGRC
2005
Springer
112views Data Mining» more  RSFDGRC 2005»
16 years 3 days ago
Discovering Characteristic Individual Accessing Behaviors in Web Environment
Abstract. Discovering diverse individual accessing behaviors in web environment is required before mining the valuable patterns from behaviors of groups of visitors. In this paper,...
Long Wang 0002, Christoph Meinel, Chunnian Liu
SEMWEB
2005
Springer
16 years 3 days ago
Constructing Complex Semantic Mappings Between XML Data and Ontologies
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
Yuan An, Alexander Borgida, John Mylopoulos
TLCA
2005
Springer
16 years 3 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
ATVA
2005
Springer
156views Hardware» more  ATVA 2005»
16 years 3 days ago
An EFSM-Based Intrusion Detection System for Ad Hoc Networks
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli