324 search results - page 53 / 65 » Design Decisions in Model-driven Software Development |
INFORMATICALT
2010
13 years 7 months ago
2010
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
This paper documents the progression through 4 methods of orienting incoming students in the use of Syracuse University’s computer systems. It discuses design issues involving: ...
KDD
2006
ACM
14 years 10 months ago
2006
ACM
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
AOSD
2009
ACM
14 years 4 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...