Sciweavers

12453 search results - page 328 / 2491
» Concurrent Data Structures
Sort
View
ASIAN
1998
Springer
111views Algorithms» more  ASIAN 1998»
15 years 11 months ago
A Comparison of Petri Net Semantics under the Collective Token Philosophy
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
Roberto Bruni, José Meseguer, Ugo Montanari...
PPSC
1997
15 years 8 months ago
Java and Web Technologies for Simulation and Modelling in Computational Science and Engineering
We discuss the role of Java and Web technologies for general simulation. We classify the classes of concurrency typical in problems and analyze separately the role of Java in user...
Geoffrey Fox, Wojtek Furmanski
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
IBERAMIA
2010
Springer
15 years 5 months ago
Interaction Graphs for Multivariate Binary Data
We define a class of graphs that summarize in a compact visual way the interaction structure between binary multivariate characteristics. This allows studying the conditional depe...
Johan Van Horentonioeek, Jesús Emeterio Nav...
JAIR
2008
173views more  JAIR 2008»
15 years 6 months ago
Creating Relational Data from Unstructured and Ungrammatical Data Sources
In order for agents to act on behalf of users, they will have to retrieve and integrate vast amounts of textual data on the World Wide Web. However, much of the useful data on the...
Matthew Michelson, Craig A. Knoblock