324 search results - page 53 / 65 » Design Decisions in Model-driven Software Development |
147
click to vote
INFORMATICALT
2010
15 years 3 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...
144
Voted
FOSSACS
2004
Springer
15 years 11 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...
138
Voted
SIGUCCS
2003
ACM
15 years 11 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: ...
197
click to vote
KDD
2006
ACM
16 years 6 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...
170
click to vote
AOSD
2009
ACM
16 years 18 days 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...