12333 search results - page 2286 / 2467 » System Level Modelling for Hardware Software Systems |
108
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
133
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
145
click to vote
DSVIS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...
135
click to vote
SEBD
1997
15 years 3 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
FMSD
2002
15 years 2 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...