Sciweavers

638 search results - page 60 / 128
» Quality of Name Resolution in the Domain Name System
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
14 years 2 days ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
DSVIS
2008
Springer
13 years 9 months ago
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
Frédéric Jourde, Yann Laurillau, Alb...
ENTCS
2007
82views more  ENTCS 2007»
13 years 7 months ago
A Simple Calculus for Proteins and Cells
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
Cosimo Laneve, Fabien Tarissan
MICCAI
2001
Springer
14 years 5 days ago
Long Bone Panoramas from Fluoroscopic X-ray Images
— This paper presents a new method for creating a single panoramic image of a long bone from several individual fluoroscopic X-ray images. Panoramic images are useful preoperati...
Ziv Yaniv, Leo Joskowicz
ATAL
2008
Springer
13 years 9 months ago
A few good agents: multi-agent social learning
In this paper, we investigate multi-agent learning (MAL) in a multi-agent resource selection problem (MARS) in which a large group of agents are competing for common resources. Si...
Jean Oh, Stephen F. Smith