1351 search results - page 132 / 271 » Towards a Spreadsheet Engineering |
137
click to vote
ISCC
2005
IEEE
15 years 10 months ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...
130
click to vote
ISQED
2005
IEEE
15 years 10 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
119
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
With an ever-growing number of computers being embedded into our surroundings, the era of ubiquitous computing is approaching fast. However, as the number of networked devices incr...
152
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
125
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...