2757 search results - page 177 / 552 » Empirical investigations of conceptual modeling and the mode... |
171
click to vote
WICSA
2004
15 years 8 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
175
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
220
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
200
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
140
click to vote
ISCAS
2006
IEEE
16 years 17 days ago
2006
IEEE
—With the development of IC technology, it becomes urgent to investigate model reduction method for interconnects with process variations. In this paper, a one-shot projection al...