2687 search results - page 478 / 538 » Formal Analysis of PKCS |
134
click to vote
VIP
2000
15 years 7 months ago
2000
Although codified knowledge and its capture is commonplace, tacit knowledge has up until recent years proved elusive in its inclusion within the organisation's knowledge base...
149
click to vote
SSR
1997
15 years 7 months ago
1997
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
192
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
209
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
142
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...