2813 search results - page 336 / 563 » Formalizing Architectural Connection |
151
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
162
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
171
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
182
click to vote
ADHOCNOW
2008
Springer
16 years 28 days ago
2008
Springer
Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly con gu...
197
click to vote
AGTIVE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...