3388 search results - page 274 / 678 » Type-theoretic design patterns |
143
click to vote
IV
2005
IEEE
16 years 5 days ago
2005
IEEE
The field of information visualization offers little methodological guidance to practitioners who seek to design novel systems. Though many sources describe the foundations of the...
157
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
176
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
Intrusion detection for network security is a computation intensive application demanding high system performance. System level design, a relatively unexplored field in this area,...
198
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
133
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Business protocols in n-party interactions often require centralized protocol design but decentralized execution without the intervention of the designing party. In this ...