5353 search results - page 200 / 1071 » Modelling Contexts in the Or-BAC Model |
163
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
197
click to vote
IEEESCC
2006
IEEE
16 years 21 days ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
173
click to vote
ADBIS
2006
Springer
16 years 19 days ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
174
click to vote
BTW
2005
Springer
16 years 3 days ago
2005
Springer
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...
136
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Reduced sizes of music files due to compression technologies has allowed for piracy to become a rampant problem on the Internet even in the absence of significant bandwidth. Howev...