1492 search results - page 61 / 299 » Integrative, model-based engineering design |
POLICY
2005
Springer
14 years 1 months ago
2005
Springer
Autonomic systems are needed to self-manage the increasing complexity of pervasive communications access and the ubiquitous computing services it offers to humans. Policy based go...
TPHOL
1998
IEEE
14 years 14 days ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
CHES
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. The general trend in semiconductor industry to separate design from fabrication leads to potential threats from untrusted integrated circuit foundries. In particular, mal...
ICITA
2005
IEEE
14 years 1 months ago
2005
IEEE
Both product line engineering (PLE) and model driven architecture (MDA) are emerging as effective paradigms for building a family of applications in cost effective way. PLE suppor...
GISCIENCE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The SPIRIT search engine provides a test bed for the development of web search technology that is specialised for access to geographical information. Major components inc...