5407 search results - page 366 / 1082 » The Software Engineering Global Model |
175
click to vote
SEFM
2005
IEEE
16 years 11 days ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
164
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
184
Voted
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
177
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
A stepwise approach is proposed to predict the performance of component compositions. The approach considers the major factors influencing the performance of component compositions...
176
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...