22909 search results - page 189 / 4582 » A System of Interaction and Structure |
220
click to vote
DIAGRAMS
2004
Springer
16 years 14 days ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
204
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
197
click to vote
CEEMAS
2007
Springer
16 years 1 months ago
2007
Springer
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
201
click to vote
AOSE
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
171
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...