4476 search results - page 330 / 896 » Modeling software architectures in the Unified Modeling Lang... |
168
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
182
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
168
click to vote
IFIP
2003
Springer
16 years 2 hour ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...
163
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
191
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Retargetable C compilers are key tools for efficient architecture exploration for embedded processors. In this paper we describe a novel approach to retargetable compilation based...