Sciweavers

11325 search results - page 1859 / 2265
» Active Model Selection
Sort
View
IWPC
2003
IEEE
16 years 3 days ago
YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
Giuliano Antoniol, Massimiliano Di Penta, Ettore M...
MICRO
2003
IEEE
96views Hardware» more  MICRO 2003»
16 years 3 days ago
Using Interaction Costs for Microarchitectural Bottleneck Analysis
Attacking bottlenecks in modern processors is difficult because many microarchitectural events overlap with each other. This parallelism makes it difficult to both (a) assign a ...
Brian A. Fields, Rastislav Bodík, Mark D. H...
ASIACRYPT
2003
Springer
16 years 2 days ago
Accumulating Composites and Improved Group Signing
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
Gene Tsudik, Shouhuai Xu
ATAL
2003
Springer
16 years 2 days ago
Reasoning about the dynamics of social behaviour
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
Maria Fasli
CAEPIA
2003
Springer
16 years 2 days ago
A Document-Oriented Approach to the Development of Knowledge Based Systems
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
José Luis Sierra, Baltasar Fernández...
« Prev « First page 1859 / 2265 Last » Next »