2153 search results - page 122 / 431 » Software Architectures for Task-Oriented Computing |
146
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
123
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
Neuroimaging techniques produce large amounts of data capable of displaying a wide variety of structural and functional properties of the brain. A large number of specialized image...
131
Voted
UIST
1997
ACM
15 years 7 months ago
1997
ACM
Current software suites suffer from problems due to poor integration of their individual tools. They require the designer to think of all possible integrating behaviours and leave...
160
Voted
WIMOB
2007
IEEE
15 years 9 months ago
2007
IEEE
—In this paper we investigate the issues in designing key management architecture for secure multicasting in remote software distribution to advance vehicles. We consider the Veh...
98
Voted
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...