2253 search results - page 189 / 451 » An Approach to Specifying Software Frameworks |
151
click to vote
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
148
click to vote
ASE
2002
15 years 4 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
126
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
We define and evaluate a framework for estimating the energy consumption of pervasive Java-based software systems. The framework's primary objective is to enable an engineer ...
115
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
154
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they stil...