Sciweavers

34181 search results - page 315 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
MDM
2007
Springer
111views Communications» more  MDM 2007»
15 years 9 months ago
Exploiting Our Computational Surroundings for Better Mobile Collaboration
Mobile collaborative environments, being naturally loosely-coupled, call for optimistic replication solutions in order to attain the requirement of decentralized highly available ...
João Pedro Barreto, Paulo Ferreira, Marc Sh...
RE
2007
Springer
15 years 9 months ago
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics
In industrial requirements documents natural language is the main presentation means. In such documents, system behavior is specified in the form of scenarios, written as a seque...
Leonid Kof
128
Voted
IJCNN
2006
IEEE
15 years 9 months ago
Computational Neurogenetic Modeling: A Methodology to Study Gene Interactions Underlying Neural Oscillations
—We present new results from Computational Neurogenetic Modeling to aid discoveries of complex gene interactions underlying oscillations in neural systems. Interactions of genes ...
Lubica Benuskova, Simei Gomes Wysoski, Nikola K. K...
APLAS
2006
ACM
15 years 9 months ago
Computational Secrecy by Typing for the Pi Calculus
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
Martín Abadi, Ricardo Corin, Cédric ...
VRST
2005
ACM
15 years 8 months ago
Computing inverse kinematics with linear programming
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
Edmond S. L. Ho, Taku Komura, Rynson W. H. Lau