2206 search results - page 172 / 442 » Software Engineering and Modeling Education: Problems and So... |
172
click to vote
EUROMICRO
2007
IEEE
16 years 24 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
166
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
206
click to vote
IPAW
2010
15 years 3 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
159
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
160
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
We propose a model-based methodology to size and plan enterprise applications under Service Level Agreements (SLAs). Our approach is illustrated using a real-world Enterprise Reso...