3555 search results - page 589 / 711 » Security-Critical System Development with Extended Use Cases |
136
click to vote
IWCMC
2010
ACM
15 years 1 months ago
2010
ACM
Future wireless networks will experience a continuous growth regarding the number of network elements with increasingly complex interrelations between the configuration of multipl...
103
Voted
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
103
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
104
click to vote
WWW
2005
ACM
15 years 7 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...
128
click to vote
BPM
2005
Springer
15 years 7 months ago
2005
Springer
Companies are developing a growing interest in aligning their information systems in a process-oriented way. However, current processaware information systems (PAIS) fail to meet p...