Sciweavers

8450 search results - page 1477 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
ESAW
2007
Springer
15 years 10 months ago
Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
William J. Clancey, Maarten Sierhuis, Chin Seah, C...
ESORICS
2007
Springer
15 years 10 months ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...
FSEN
2007
Springer
15 years 10 months ago
Regulating Data Exchange in Service Oriented Applications
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
HUC
2007
Springer
15 years 10 months ago
Yours, Mine and Ours? Sharing and Use of Technology in Domestic Environments
Domestic technologies have been a popular area of study for ubiquitous computing researchers, however there is relatively little recent data on how families currently use and share...
A. J. Bernheim Brush, Kori M. Inkpen
ICCS
2007
Springer
15 years 10 months ago
Dynamical Patterns in Scalefree Trees of Coupled 2D Chaotic Maps
New insights have been gained recently into the interplay between complex network architectures and the collective dynamics of simple elements coupled through them. The usual parad...
Zoran Levnajic, Bosiljka Tadic
« Prev « First page 1477 / 1690 Last » Next »