12697 search results - page 106 / 2540 » Call for Papers |
191
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
145
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
186
click to vote
AIML
2008
15 years 7 months ago
2008
Most temporal logics, particularly interval temporal logics, are not expressive enough to capture meanings of natural language constructions, and they are not convenient to represe...
149
click to vote
ICHIM
2001
15 years 7 months ago
2001
The employment of artificial intelligence techniques for supporting activities traditionally performed by humans and considered as creative has increasingly spread in recent years...
179
click to vote
ECOWS
2009
Springer
16 years 28 days ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...