2836 search results - page 345 / 568 » Model Checking for Software Architectures |
183
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
171
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
224
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
174
click to vote
ICTAC
2005
Springer
16 years 5 days ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
212
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...