2836 search results - page 483 / 568 » Model Checking for Software Architectures |
168
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
151
click to vote
DSRT
2005
IEEE
15 years 11 months ago
2005
IEEE
Engine production is a complex process that requires the manufacturing and assembly of a wide variety of components to create a varied product mix. Simulation plays a key role in ...
243
click to vote
WWW
2005
ACM
15 years 11 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
134
click to vote
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
163
click to vote
FLAIRS
2010
15 years 7 months ago
2010
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....