2328 search results - page 163 / 466 » Component Frameworks - A Case Study |
132
click to vote
SIAMCO
2010
14 years 11 months ago
2010
This work is devoted to stationary optimal control problems with polygonal constraints on the components of the state. Existence of Lagrange multipliers, of different regularity, i...
139
Voted
GROUP
1997
ACM
15 years 9 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
117
Voted
ECEASST
2008
15 years 5 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
134
Voted
ICECCS
2006
IEEE
15 years 11 months ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...
150
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...