Sciweavers

10625 search results - page 94 / 2125
» Supporting delay-intolerant applications
Sort
View
JOT
2006
74views more  JOT 2006»
15 years 4 months ago
Support for Object Oriented Transactions in Timor
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
ENTCS
2007
86views more  ENTCS 2007»
15 years 4 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
JSC
2006
64views more  JSC 2006»
15 years 4 months ago
Computing the support of local cohomology modules
For a polynomial ring R = k[x1, ..., xn], we present a method to compute the characteristic cycle of the localization Rf for any nonzero polynomial f R that avoids a direct comput...
Josep Àlvarez Montaner, Anton Leykin
EWC
2007
87views more  EWC 2007»
15 years 4 months ago
Analysis methods to support design for damping
Methods are documented for active and passive damping studies with capabilities within NX I-deas and NX Nastran (http://www.ugs.com/products/nx/). The focus is on the methods that ...
Mary Baker
CMOT
2000
128views more  CMOT 2000»
15 years 4 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox