1746 search results - page 127 / 350 » Residual for Component Specifications |
82
Voted
FLAIRS
2000
15 years 5 months ago
2000
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
144
click to vote
COLING
1992
15 years 5 months ago
1992
The paper proposes a multimodal interface for a real sales database application. We show how natural language processing may be integrated with a visual, direct manipulation metho...
120
Voted
ENTCS
2010
15 years 4 months ago
2010
Abstract. Web services composition is the interleaving of action sequences executed by elementary components in accordance with a client specification. We consider Web services as ...
224
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
The problem of social capital in context of the online social networks is presented in the paper. Not only the specific elements, which characterize the single person and influence...
128
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...