Sciweavers

1567 search results - page 136 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
ICIS
2001
15 years 3 months ago
Shared Mental Models and Coordination in Large-Scale, Distributed Software Development
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...
J. Alberto Espinosa, Robert E. Kraut, F. Javier Le...
COGSCI
2011
115views more  COGSCI 2011»
14 years 5 months ago
A Computational Cognitive Model of Syntactic Priming
The psycholinguistic literature has identified two syntactic adaptation effects in language production: rapidly decaying short-term priming and long-lasting adaptation. To explai...
David Reitter, Frank Keller, Johanna D. Moore
FMCAD
2007
Springer
15 years 7 months ago
Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
Lee Pike
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
15 years 8 months ago
Systems Modeling for IP-Based Handoff Using Timed Petri Nets
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, ...
CAD
2008
Springer
15 years 1 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...