2813 search results - page 66 / 563 » Formalizing Architectural Connection |
116
click to vote
SEKE
2004
Springer
15 years 7 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
108
click to vote
ENTCS
2006
15 years 2 months ago
2006
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
129
Voted
MOBISYS
2009
ACM
16 years 3 months ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...
104
click to vote
TIC
1998
Springer
15 years 6 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
111
Voted
ISARCS
2010
15 years 4 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...