3828 search results - page 556 / 766 » Proof-Based System Engineering Using a Virtual System Model |
164
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
173
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
144
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
151
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
176
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...