10910 search results - page 378 / 2182 » Input modeling using a computer algebra system |
149
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...
170
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
158
click to vote
AAECC
1993
Springer
15 years 11 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
161
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
177
click to vote
CACM
2006
15 years 6 months ago
2006
ional thinking is using abstraction and decomposition when attacking a large complex task or designing a large complex system. It is separation of concerns. It is choosing an appro...