6239 search results - page 248 / 1248 » From Zinc to Design Model |
258
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Requirements can differ in their importance. As such the priorities that stakeholders associate with requirements may vary from stakeholder to stakeholder and from one situation to...
172
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
186
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
176
click to vote
ESORICS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
246
click to vote
MKWI
2008
15 years 8 months ago
2008
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...