4211 search results - page 240 / 843 » A formal approach to MASQ |
191
click to vote
SEW
2005
IEEE
16 years 7 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
151
click to vote
GBRPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
172
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
168
click to vote
TFM
2004
Springer
16 years 7 hour ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
163
click to vote
SEW
2003
IEEE
15 years 12 months ago
2003
IEEE
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...