4418 search results - page 109 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
130
click to vote
ENTCS
2006
15 years 4 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
121
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
135
click to vote
GI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract: With new techniques, such as Microformats or RDFa, for integrating semantics into existing web formats, we expect a strong increase of semantically annotated documents in...
132
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
116
click to vote
GBRPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...