1922 search results - page 123 / 385 » ie 2007 |
98
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
110
click to vote
MATES
2007
Springer
15 years 6 months ago
2007
Springer
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...
79
Voted
MDAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The need for protecting the privacy of relationships in social networks has recently been stressed in the literature. Conventional protection mechanisms in those networks...
93
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
86
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Distributed programming has shifted from private networks to the Internet using heterogeneous Web APIs. This enables the creation of situational applications of composed services ...