2836 search results - page 500 / 568 » Model Checking for Software Architectures |
172
click to vote
WCRE
2009
IEEE
16 years 3 days ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
163
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
159
click to vote
TOMS
1998
15 years 5 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
175
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
150
click to vote
SIGCOMM
2009
ACM
15 years 12 months ago
2009
ACM
Virtualization enables multiple networks, each customized for a particular purpose, to run concurrently over a shared substrate. One such model for managing these virtual networks...