2836 search results - page 329 / 568 » Model Checking for Software Architectures |
178
Voted
UIST
1993
ACM
15 years 9 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
157
Voted
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
119
click to vote
SE
2007
15 years 6 months ago
2007
Abstract: Applications based on plug-in architectures are extensible through thirdparties and enable customized user environments. We argue that extensibility and customization are...
151
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
140
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...