4438 search results - page 617 / 888 » The Case for Collaborative Programming |
141
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
216
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
171
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
148
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
196
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...