1284 search results - page 225 / 257 » Abstract Processes in Orchestration Languages |
129
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
125
Voted
ICGI
2004
Springer
15 years 9 months ago
2004
Springer
The present work studies clustering from an abstract point of view and investigates its properties in the framework of inductive inference. Any class S considered is given by a hyp...
139
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
174
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
133
Voted
CICLING
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The automatic detection of shared content in written documents –which includes text reuse and its unacknowledged commitment, plagiarism– has become an important probl...