3555 search results - page 490 / 711 » Security-Critical System Development with Extended Use Cases |
168
click to vote
GVD
2009
15 years 3 months ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
150
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
173
click to vote
SASO
2008
IEEE
15 years 12 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
173
click to vote
WER
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a method for requirements elicitation based on goals for electronic commerce systems in agreement with security and privacy polices of the site. The method in...
169
click to vote
ERLANG
2007
ACM
15 years 9 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...