8623 search results - page 1717 / 1725 » Software engineering for secure systems |
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
ACMACE
2004
ACM
14 years 1 months ago
2004
ACM
The game and entertainment industry plays an enormous role within the development and extensive usage of new technologies. They are one major technology driver concerning the deve...
MOBICOM
2004
ACM
14 years 1 months ago
2004
ACM
Future vehicular networks are expected to deploy shortrange communication technology for inter-vehicle communication. In addition to vehicle-to-vehicle communication, users will b...
UIST
2004
ACM
14 years 1 months ago
2004
ACM
We present Citrine, a system that extends the widespread copy-and-paste interaction technique with intelligent transformations, making it useful in more situations. Citrine uses t...
AIS
2004
Springer
14 years 1 months ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...