1878 search results - page 118 / 376 » Efficient Performance Models in Component-Based Software Eng... |
125
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
139
click to vote
SOCO
2002
Springer
15 years 2 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
103
click to vote
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
117
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
117
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...