Sciweavers

4770 search results - page 116 / 954
» Flexible Type Analysis
Sort
View
ICPADS
1994
IEEE
15 years 8 months ago
Stochastic Modeling of Scaled Parallel Programs
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
AAMAS
2005
Springer
15 years 4 months ago
Modular Representation of Agent Interaction Rules through Argumentation
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
IEAAIE
2011
Springer
14 years 7 months ago
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders
Persons with an Autism Spectrum Disorder (ASD) may show certain types of deviations in social functioning. Since the discovery of mirror neuron systems and their role in social fun...
Yara van der Laan, Jan Treur
TLCA
2007
Springer
15 years 10 months ago
Polynomial Size Analysis of First-Order Functions
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. ...
JFP
2006
80views more  JFP 2006»
15 years 4 months ago
Static analysis for path correctness of XML queries
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...