6618 search results - page 132 / 1324 » Information and Communication Technologies for Development |
SECURWARE
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
104
click to vote
SIGUCCS
2003
ACM
15 years 3 months ago
2003
ACM
Providing instructional technology support for faculty requires a range of skills, from knowledge of software and hardware, to an ability to communicate, teach workshops, and rela...
IRI
2008
IEEE
15 years 4 months ago
2008
IEEE
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...
IIE
2007
14 years 10 months ago
2007
The article aims at raising the problem of culture in the context of globalisation, at characterising influence of globalisation and globalisation culture on human values and rela...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes the security and network architecture of the Annex system, a family of technologies for secure and pervasive communication and information processing that we ...