7715 search results - page 975 / 1543 » Visual Rules Modeling |
184
click to vote
SCAM
2003
IEEE
16 years 4 days ago
2003
IEEE
We characterise a computational model for processing annotated parse trees. The model is basically rewriting-based with specific provisions for dealing with annotations along the...
168
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...
186
click to vote
EGH
2003
Springer
16 years 2 days ago
2003
Springer
We show how a future graphics processor unit (GPU), enhanced with random read and write to video memory, can represent, refine and adjust complex meshes arising in modeling, simu...
223
click to vote
WOLLIC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
144
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...