656 search results - page 77 / 132 » A Formalization of Transition P Systems |
JUCS
2006
15 years 12 days ago
2006
: A sequence of increasing translation invariant subspaces can be defined by the Haar-system (or generally by wavelets). The orthogonal projection to the subspaces generates a deco...
99
Voted
ICDE
1991
IEEE
15 years 4 months ago
1991
IEEE
The maindi culty in enforcing globalserializabilityin a multidatabase environment lies in resolving indirect (transitive) con icts between multidatabase transactions. Indirect con...
110
click to vote
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
112
Voted
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
104
click to vote
SIGGRAPH
1995
ACM
15 years 4 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...