716 search results - page 114 / 144 » Security Requirements Engineering: A Framework for Represent... |
DLS
2009
13 years 5 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...
CEEMAS
2001
Springer
14 years 4 days ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...