656 search results - page 77 / 132 » A Formalization of Transition P Systems |
151
click to vote
JUCS
2006
15 years 5 months 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...
157
Voted
ICDE
1991
IEEE
15 years 9 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...
172
click to vote
EUROMICRO
2000
IEEE
15 years 10 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...
180
click to vote
APSEC
1999
IEEE
15 years 10 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...
153
click to vote
SIGGRAPH
1995
ACM
15 years 9 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...