2043 search results - page 179 / 409 » Reasoning About Security Models |
196
click to vote
IJAR
2010
15 years 4 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
177
click to vote
IEEEICCI
2006
IEEE
16 years 4 days ago
2006
IEEE
Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process. To fulļ...
173
click to vote
AAAI
1994
15 years 7 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
156
click to vote
JALC
2006
15 years 6 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
215
Voted
ISPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
āThis paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package deļ¬ned in the stand...