4348 search results - page 628 / 870 » Using UML for Modeling Complex Real-Time Systems |
181
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
177
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
178
click to vote
MSR
2005
ACM
16 years 3 days ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...
154
click to vote
TEC
2002
15 years 6 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...
163
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...