2004 search results - page 171 / 401 » Comparison of Model Checking Tools for Information Systems |
175
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
166
Voted
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
175
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
280
Voted
IHI
2012
14 years 1 months ago
2012
Biological network analysis often aims at the target identification problem, which is to predict which molecule to inhibit (or activate) for a disease treatment to achieve optimu...
188
click to vote
ISAS
2007
Springer
16 years 7 days ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...