4178 search results - page 110 / 836 » Similarity Patterns in Language |
133
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
149
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
139
click to vote
FCT
2001
Springer
15 years 8 months ago
2001
Springer
Many documents such as Web documents or XML files have tree structures. A term tree is an unordered tree pattern consisting of internal variables and tree structures. In order to ...
137
click to vote
EUPROJECTS
2006
Springer
15 years 8 months ago
2006
Springer
The mobile user can interact with devices in the environment using either the devices themselves or a device she carries with her. This requires an adaption of the user interface t...
125
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
We show how the formal description language LOTOS can be used to de ne software architectures and how patterns over LOTOS can serve to characterize architectural styles. We charact...