1527 search results - page 86 / 306 » From Requirements to Design: Formalizing the Key Steps |
171
Voted
AAAI
2006
15 years 7 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
185
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
202
click to vote
MOBICOM
2006
ACM
16 years 2 days ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
174
Voted
PUC
2007
15 years 5 months ago
2007
Personal experience computing is an emerging research area in computing support for capturing, archiving, editing, and utilizing of digital personal experiences. This paper presen...
189
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....