Sciweavers

12478 search results - page 2007 / 2496
» Secure Interaction Design
Sort
View
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 10 months ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim
ATAL
2003
Springer
15 years 10 months ago
Democracy in open agent systems
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
Peter McBurney, Simon Parsons
CP
2000
Springer
15 years 10 months ago
Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability
This paper addresses the interaction between randomization, with restart strategies, and learning, an often crucial technique for proving unsatisfiability. We use instances of SAT ...
Luís Baptista, João P. Marques Silva
JMLC
2000
Springer
15 years 10 months ago
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
Peter H. Fröhlich, Michael Franz
MICCAI
2000
Springer
15 years 10 months ago
BrainSuite: An Automated Cortical Surface Identification Tool
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...
David W. Shattuck, Richard M. Leahy
« Prev « First page 2007 / 2496 Last » Next »