6581 search results - page 1177 / 1317 » Formalizing Design Patterns |
172
click to vote
EMSOFT
2007
Springer
16 years 16 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
182
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
190
click to vote
TARK
2007
Springer
16 years 14 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
170
click to vote
IUI
2006
ACM
16 years 10 days ago
2006
ACM
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
128
click to vote
MEMOCODE
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...