Sciweavers

3782 search results - page 67 / 757
» Engineering Social Order
Sort
View
FOSSACS
2005
Springer
14 years 1 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
DAC
1996
ACM
14 years 23 hour ago
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
Joel R. Philips, Eli Chiprout, David D. Ling
PUC
2006
78views more  PUC 2006»
13 years 7 months ago
Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing
Abstract. The Stanford Event Heap has been shown to provide appropriate support for constructing interactive workspace applications. Given this success it is natural to consider th...
Oliver Storz, Adrian Friday, Nigel Davies
DAGSTUHL
2011
12 years 7 months ago
Interactive Isocontouring of High-Order Surfaces
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
Christian Azambuja Pagot, Joachim E. Vollrath, Fil...
EPIA
2001
Springer
14 years 11 days ago
Modelling Agent Societies: Co-ordination Frameworks and Institutions
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
Virginia Dignum, Frank Dignum