Sciweavers

2905 search results - page 319 / 581
» Formal Memetic Algorithms
Sort
View
119
Voted
PPDP
2005
Springer
15 years 9 months 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
112
Voted
RSFDGRC
2005
Springer
112views Data Mining» more  RSFDGRC 2005»
15 years 9 months 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
127
Voted
SEMWEB
2005
Springer
15 years 9 months 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
149
Voted
TLCA
2005
Springer
15 years 9 months 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 ...
146
Voted
ATVA
2005
Springer
156views Hardware» more  ATVA 2005»
15 years 9 months 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