12774 search results - page 2254 / 2555 » A Framework for Proof Systems |
172
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
201
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
176
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
171
click to vote
WAC
2005
Springer
16 years 7 days ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...
183
click to vote
APGV
2004
ACM
16 years 6 days ago
2004
ACM
Focus+Context techniques are commonly used in visualization systems to provide both the details and the context. The "shaker paradigm", in which an image is rapidly alte...