Sciweavers

2588 search results - page 274 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
APSEC
2000
IEEE
15 years 11 months ago
Component-based application development on architecture of a model, UI and components
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, T...
ICSOC
2010
Springer
15 years 5 months ago
Programmable Fault Injection Testbeds for Complex SOA
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...
Lukasz Juszczyk, Schahram Dustdar
SEFM
2007
IEEE
16 years 1 months ago
Model-driven architecture for cancer research
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim ...
PPDP
2009
Springer
16 years 1 months ago
Dependent type inference with interpolants
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
Hiroshi Unno, Naoki Kobayashi
DAC
2009
ACM
16 years 8 months ago
Quality-driven synthesis of embedded multi-mode control systems
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin