Sciweavers

4201 search results - page 527 / 841
» Interaction graphs: Additives
Sort
View
COGSCI
2010
83views more  COGSCI 2010»
15 years 6 months ago
Multilevel Exemplar Theory
This paper presents recent research that provides an overarching model of exemplar theory capable of explaining phenomena across the phonetic and syntactic strata. The model repre...
Michael Walsh, Bernd Möbius, Travis Wade, Hin...
ENTCS
2008
83views more  ENTCS 2008»
15 years 6 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
DI
2006
50views more  DI 2006»
15 years 6 months ago
Improving evidence acquisition from live network sources
The pervasiveness of network technology is causing a shift in the location of digital evidence. What was once largely found on individual disks tied to single individuals is now b...
Bruce J. Nikkel
ENTCS
2006
146views more  ENTCS 2006»
15 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
178
Voted
CPHYSICS
2007
93views more  CPHYSICS 2007»
15 years 6 months ago
Convergence rate of dimension reduction in Bose-Einstein condensates
In this paper, we study dimension reduction of the three-dimensional (3D) Gross–Pitaevskii equation (GPE) modeling Bose–Einstein condensation under different limiting interact...
Weizhu Bao, Yunyi Ge, Dieter Jaksch, Peter A. Mark...