Sciweavers

5401 search results - page 372 / 1081
» Using Versions in GIS
Sort
View
ICSE
1998
IEEE-ACM
15 years 11 months ago
Software Requirements Negotiation: Some Lessons Learned
Negotiating requirements is one of the first steps in any software system life cycle, but its results have probably the most significant impact on the system's value. However...
Barry W. Boehm, Alexander Egyed
ISSAC
1998
Springer
111views Mathematics» more  ISSAC 1998»
15 years 11 months ago
A Subresultant Theory for Ore Polynomials with Applications
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
Ziming Li
HASE
1997
IEEE
15 years 11 months ago
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
Mehrdad Hassani, David B. Stewart
COMPGEOM
1996
ACM
15 years 11 months ago
Linear Complexity Hexahedral Mesh Generation
We show that any simply connected (but not necessarily convex) polyhedron with an even number of quadrilateral sides can be partitioned into O(n) topological cubes, meeting face t...
David Eppstein
CMSB
2007
Springer
15 years 10 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli