3555 search results - page 351 / 711 » Security-Critical System Development with Extended Use Cases |
192
click to vote
PPDP
2004
Springer
16 years 1 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
171
click to vote
WSC
2007
15 years 9 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
148
click to vote
ECIS
2003
15 years 8 months ago
2003
Both public media and IS research have produced a detailed view of different risks associated with computers. Measures to prevent systems risks from occurring are also well docume...
189
click to vote
APCCM
2009
15 years 7 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
216
click to vote
AWIC
2004
Springer
16 years 3 days ago
2004
Springer
As in any other organization, hospital personnel absorb information from their environment, turn it into knowledge, and then make decisions based on it. Hospital Information System...