1432 search results - page 206 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
125
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
124
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
135
click to vote
ENTCS
2007
15 years 4 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
126
click to vote
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
133
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...