4266 search results - page 616 / 854 » A Framework for Defining Logics |
186
click to vote
JDCTA
2008
15 years 6 months ago
2008
The Information Technology (IT) governance arrangements refer to the patterns of authority for key IT activities in organizations, including IT infrastructure, IT use, and project...
219
Voted
ITSSA
2006
15 years 6 months ago
2006
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
209
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
147
click to vote
MJ
2006
15 years 6 months ago
2006
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
150
click to vote
PAMI
2008
2008
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
15 years 6 months ago
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...