1675 search results - page 174 / 335 » Compositional Model-Based Design |
104
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
122
Voted
HAID
2008
Springer
15 years 3 months ago
2008
Springer
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...
116
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
113
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
142
Voted
TCC
2010
Springer
15 years 11 months ago
2010
Springer
We construct a fully secure HIBE scheme with short ciphertexts. The previous construction of Boneh, Boyen, and Goh was only proven to be secure in the selective model, under a non...