69 search results - page 12 / 14 » Enforcing Design Constraints with Object Logic |
127
click to vote
KBSE
2010
IEEE
15 years 6 days ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
130
click to vote
VLSID
2008
IEEE
16 years 2 months ago
2008
IEEE
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
145
click to vote
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
132
Voted
TOSEM
2002
15 years 1 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
123
click to vote
TOG
2008
15 years 1 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...