747 search results - page 119 / 150 » Toward a software development methodology for anonymity appl... |
FCCM
2007
IEEE
14 years 3 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
FM
1999
Springer
14 years 29 days ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
BCSHCI
2007
13 years 10 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
ISPASS
2010
IEEE
14 years 3 months ago
2010
IEEE
—While many-core accelerator architectures, such as today’s Graphics Processing Units (GPUs), offer orders of magnitude more raw computing power than contemporary CPUs, their m...
ICSE
1999
IEEE-ACM
14 years 29 days ago
1999
IEEE-ACM
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...