7475 search results - page 448 / 1495 » Supporting use case based requirements engineering |
188
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
179
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
181
click to vote
ICDCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
148
click to vote
ICSM
2003
IEEE
16 years 2 days ago
2003
IEEE
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...
169
click to vote
SOCO
2005
Springer
16 years 8 days ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...