788 search results - page 147 / 158 » Design and use of a system-level specification and verificat... |
86
Voted
PVG
2003
IEEE
15 years 2 months ago
2003
IEEE
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...
SMA
2003
ACM
15 years 2 months ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
73
Voted
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
The Intelligent Decentralised Energy-Aware Systems (iDEaS) project at the University of Southampton (see www.ideasproject.info) is developing and demonstrating the application of ...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
So called intractable conflicts may benefit from more modest and socially oriented approaches than those based on classical conflict resolution techniques. This paper is inspired ...